Improvements to menhir pretty printer and ocaml backend

Menhir pretty printer can now print enough sail to be useful with ASL parser

Fixity declarations are now preserved in the AST

Menhir parser now runs without the Pre-lexer

Ocaml backend now supports variant typedefs, as the machinery to
generate arbitrary instances of variant types has been added to the
-undefined_gen flag

1 files changed, 1 insertions, 0 deletions

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index 99263bc7..0f8e482a 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -526,6 +526,7 @@ let rec doc_def def = group (match def with
       string "overload" ^^ space ^^ doc_id id ^^ space ^^ brackets ids_doc
   | DEF_comm (DC_comm s) -> comment (string s)
   | DEF_comm (DC_comm_struct d) -> comment (doc_def d)
+  | DEF_fixity _ -> empty
   ) ^^ hardline
 
 let doc_defs (Defs(defs)) =