Do not print units in lhs of sequences

FStarLang · Aug 20, 2024 · a33f48d · a33f48d
1 parent cb67d9e
commit a33f48d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/PrintMiniRust.ml b/lib/PrintMiniRust.ml
@@ -236,6 +236,9 @@ and print_expression_with_block env (e: expr): document =
 
 and print_statements env (e: expr): document =
   match e with
+  | Let ({ typ = Unit; _ }, Unit, e2) ->
+      (* Special-case: if we have a unit (probably due to an erased node), we omit it *)
+      print_statements (push env (`GoneUnit)) e2
   | Let ({ typ = Unit; _ }, e1, e2) ->
       print_expr env max_int e1 ^^ semi ^^ hardline ^^
       print_statements (push env (`GoneUnit)) e2