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