search

CakeML / cakeml

CakeML: A Verified Implementation of ML
https://cakeml.org
Other
964 stars 84 forks source link

Parser does not print lines that could not be parsed #679

Closed HeikoBecker closed 3 years ago

HeikoBecker commented 5 years ago

Sending a file through the CakeML compiler that cannot be parsed will currently only print ###ERROR: parser error. For larger files it is very hard to figure out where the mistake is. Ideally the parse error would contain the line number or the string that could not be parsed

mn200 commented 4 years ago

I am working on improving this; I agree it's pretty egregious at the moment.