Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Use Menhir's new incremental API to simplify Lambtex and Lambwiki readers #31
Menhir's new incremental API allows for greater control over the parsing process. In particular, we can now drive the parser externally, which potentially offers a much cleaner solution to the on-the-fly lexer switching problem that complicated enormously the design of the Lambtex and Lambwiki readers. Note that in the current design the Lambtex reader is not even reentrant, which somewhat limits its usefulness.
Bear in mind that the redesigned readers must somehow be able to inspect the current parser state, a feature which unfortunately Menhir does not yet offer. Nevertheless, this feature is acknowledged by Menhir's developers and is planned for the near future.