ToposInstitute/polytt

Lexer fails with comment on final line

Closed this issue · 2 comments

solomon-b commented 
polytt: internal error, uncaught exception:
        Failure("lexing: empty token")
TOTBWF commented

Having trouble reproducing this (though I've definitely had it happen to me!); do we have an example file?

solomon-b commented

Try evaluating example/prelude.poly on the bug/eof-comment branch