Generated parsers for rest of COOL
Currently the following functionality still uses hand-written lexers and parsers:
-
the ALCFormula
module -
the functor expression parser
They should be refactored to use ocamllex and menhir like the rest of cool.
Edited by Merlin