2 Commits

Author	SHA1	Message	Date
Christian Rinderknecht	345ffe22e4	Improved formatting of error messages (EOF is handled now).	2020-01-02 15:08:14 +01:00
Christian Rinderknecht	072dea757c	[WIP] Adding the infrastructure for supporting the incremental API of Menhir. ... * I added CLI option "--mono" to select the monolithic API of Menhir. * I added a field "win" to the state of the lexer (a two-token window for error reporting). * I escaped LIGO strings before making them OCaml strings (for example for printing).	2019-12-20 16:44:03 +01:00