Add compile-time check for terminating decimal

[chshersh]

See this comment:

membrain/src/Membrain/Memory.hs

Line 52 in 0ed5b57

TODO: check this statically

[yigitozkavci]

Hi @chshersh,

Would you be able to confirm whether this is still an issue?
This TODO in the code no longer exists and I've failed to reproduce the mentioned "hanging showMemory".

[chshersh]

@yigitozkavci Sure, this is still an issue. Well, more like a feature. TODO is removed from a code because we convert TODOs in code to GitHub issues.

You can reproduce like this in ghci:

ghci> type instance UnitSymbol 7000 = "invalid"
ghci> showMemory (toMemory @7000  $ bit 4)

The output of the last command will be an infinite string. But what we want is a compile-time error with good error message in such cases.

[yigitozkavci]

Thank you, I'm on it then :)