effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Multiline strings are not recognised

jiribenes opened this issue · comments

Currently, it is impossible to write multiline strings (other than in extern definitions) -- I believe that's a regression.

Screenshot 2024-03-06 at 11 05 26

I am not sure whether we ever supported that, but I guess we could.

At least in the last version it seems to be like today:

lazy val stringLiteral = """\"([^\"]*)\"""".r