Support multiline strings

Open marvinborner opened this issue 2 years ago • 2 comments

This closes #408. This also fixes a bug where newlines could be used in single-quoted strings, causing parsing errors in the backends.

Mar 10 '24 23:03 marvinborner

Hi @marvinborner, looks great!

Could we add some pos/neg tests for multiline strings? I'm especially worried about things like newline and indentation handling (so whitespace handling in general).

Mar 11 '24 13:03 jiribenes

Something like this? (by the way, is there a way to execute only a single test?)

Aside from messing up the .check format in my tests, it's interesting that the ml backend apparently crashes when a string containing the literal tab character (not "\t") is printed.

Mar 12 '24 11:03 marvinborner

If you get some time, could you check if this also fixes https://github.com/effekt-lang/effekt/issues/353?

Mar 22 '24 08:03 jiribenes