search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

[ fix ] properly nesting multiline comments #253

Closed gallais closed 4 years ago

gallais commented 4 years ago

We should be able to comment out any part of a program that parses and still get a program that parses. This means we need to properly ignore {- and -} when hidden behind a -- comment or inside of a string literal.

edwinb commented 4 years ago

Excellent, thanks. I wrote this bit on a train and I think I never came back to polish it... so I hadn't even spotted that was an issue!