From 3c2440637442c434295ed87be5d80d0c2c114e94 Mon Sep 17 00:00:00 2001 From: WondAli Date: Sat, 24 Aug 2024 17:16:18 -0400 Subject: [PATCH] minor test_elaboration update --- test/Test_Elaboration.re | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re index d584492091..ab09c35e89 100644 --- a/test/Test_Elaboration.re +++ b/test/Test_Elaboration.re @@ -20,7 +20,8 @@ let dhexp_typ = testable(Fmt.using(dhexp_print, Fmt.string), dhexp_eq); let ids = List.init(12, _ => Id.mk()); let id_at = x => x |> List.nth(ids); let mk_map = CoreSettings.on |> Interface.Statics.mk_map; -let dhexp_of_uexp = u => Elaborator.dhexp_of_uexp(mk_map(u), u, false); +let dhexp_of_uexp = u => + Elaborator.dhexp_of_uexp(mk_map(u), u, false, false); let alco_check = dhexp_typ |> Alcotest.check; let u1: Term.UExp.t = {ids: [id_at(0)], term: Int(8)};