init using menhir for the logic parser

e266b9ba · Patrick Baudin · Virgile Prevosto · 5be9e5b3 · e266b9ba · e266b9ba
Commit e266b9ba authored 2 years ago by Patrick Baudin Committed by Virgile Prevosto 2 years ago
--- a/src/kernel_internals/parsing/dune
+++ b/src/kernel_internals/parsing/dune
@@ -24,7 +24,11 @@
 (ocamllex logic_preprocess)
 (ocamllex logic_lexer)

-(ocamlyacc logic_parser)
+(menhir
+  (modules logic_parser)
+  ; "--fixed-exception" fixes compatibility with ocamlyacc Parsing.Parse_error
+  (flags --fixed-exception --explain --dump --comment)
+)

 (menhir
  (modules cparser)

--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly