Closed andreasabel closed 3 years ago
The overloaded prt
function can naturally not deal with both of [Char]
and String
, since these are the same type. Should not be a problem with Text
tokens, though.
A way to fix this would be to have a non-overloaded printing function for String
, so it does not clash with [Char]
.
[Char]
is used, we now have printString
instead of instance Print String
.prtList
has been removed from class Print
.
Grammar
and input
results in printed output
The other backends print this correctly.