summaryrefslogtreecommitdiff
path: root/src/parser.ml
AgeCommit message (Collapse)Author
2019-06-30Change syntax error wording.Daniil Baturin
2019-06-30T1479: switch to Menhir's incremental API and add support for reporting ↵Daniil Baturin
error line numbers.