nikswamy
commented
3 months ago - Working around a menhir bug (?) reporting a wrong range in option(qual)
- Tweak error report to not have overlapping /masking ranges
- Add a test case for checking error messages and ranges