From 4c4eeb90af646e91bd7bff9fd62b546f5e702aeb Mon Sep 17 00:00:00 2001 From: Milan Lustig Date: Sun, 6 Oct 2024 15:32:57 -0400 Subject: [PATCH] Removed some menhir elaboration test debug code --- src/haz3lcore/dynamics/Elaborator.re | 1 - src/haz3lmenhir/Conversion.re | 7 +------ 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/src/haz3lcore/dynamics/Elaborator.re b/src/haz3lcore/dynamics/Elaborator.re index 86b04ed557..bf269861db 100644 --- 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 index b29bd8fc40..18c39bdb56 100644 --- 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) =>