Removed some menhir elaboration test debug code

hazelgrove · Oct 6, 2024 · 4c4eeb9 · 4c4eeb9
1 parent b852d0f
commit 4c4eeb9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/src/haz3lcore/dynamics/Elaborator.re b/src/haz3lcore/dynamics/Elaborator.re
@@ -573,6 +573,5 @@ let uexp_elab = (m: Statics.Map.t, uexp: UExp.t): ElaborationResult.t =>
   switch (elaborate(m, uexp)) {
   | exception MissingTypeInfo => DoesNotElaborate
   | (d, ty) =>
-    print_endline("Elaborated: " ++ DHExp.show(d));
     Elaborates(d, ty, Delta.empty);
   };
diff --git a/src/haz3lmenhir/Conversion.re b/src/haz3lmenhir/Conversion.re
@@ -132,12 +132,7 @@ module rec Exp: {
     | Fun(p, e, name_opt) =>
       switch (name_opt) {
       | Some(name_str) =>
-        Fun(
-          Pat.of_menhir_ast(p),
-          of_menhir_ast(e),
-          None,
-          Some(name_str ++ "+"),
-        )
+        Fun(Pat.of_menhir_ast(p), of_menhir_ast(e), None, Some(name_str))
       | None => Fun(Pat.of_menhir_ast(p), of_menhir_ast(e), None, None)
       }
     | ApExp(e1, args) =>