disco-0.2: test/types-char-string/expected
'a'
'a' : Char
'c'
'\n'
'\''
'"'
'#'
'\\'
'"'
T
1
2
3
(λx. {? 1 when x is 'a'
?})("Disco")
1:3:
|
1 | ' a'
| ^
unexpected 'a'
expecting '''
' '
"Disco"
"Disco" : List(Char)
"Di sco"
"'"
"\n"
"'"
"a\na\a\a\""
"\\"
T
2
1