Improved type inference for let statements and assignments with type annotated patterns and lexps

Added get_enum to type checker interface

1 files changed, 1 insertions, 0 deletions

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index 9c33c841..6826087a 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -488,6 +488,7 @@ let doc_rec (Rec_aux(r,_)) = match r with
 
 let doc_tannot_opt (Typ_annot_opt_aux(t,_)) = match t with
   | Typ_annot_opt_some(tq,typ) -> doc_typquant tq (doc_typ typ)
+  | Typ_annot_opt_none -> empty
 
 let doc_effects_opt (Effect_opt_aux(e,_)) = match e with
   | Effect_opt_pure -> string "pure"