Parser does not show line number of syntax error

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3

MIT License

9 stars 1 forks source link

Parser does not show line number of syntax error #61

Closed leuschel closed 7 years ago

leuschel commented 7 years ago

I was using IncX = PRE x<50 THEN x := x+1 END; in ArithmeticLaws.mch and the parser does not seem to accept the PRE THEN END substitution (see separate issue). This issue is about the fact that iy would be good for the user to also show the line number of the parse error.