Fix assertions

hazelgrove · Nov 15, 2024 · 24de2fa · 24de2fa
1 parent ecbd7ce
commit 24de2fa
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
@@ -599,7 +599,7 @@ let elaboration_tests = [
     `Quick,
     () =>
     alco_check(
-      {|(fun a=x->x)(a=1)|},
+      {|(fun a=(x:Int) -> x)(a=1)|},
       Ap(
         Forward,
         Fun(
@@ -620,15 +620,15 @@ let elaboration_tests = [
         |> Exp.fresh,
       )
       |> Exp.fresh,
-      dhexp_of_uexp(parse_exp({|(fun a=(x:Int) -> x)(a=1)|})),
+      dhexp_of_uexp(parse_exp({|(fun a=(x:Int) -> x)(a=1)|})) // Ignoring casts for now
     )
   ),
   test_case(
     "Singleton labeled argument function application with no label in ap",
     `Quick,
     () =>
     alco_check(
-      {|(fun a=x->x)(a=1)|},
+      {|(fun a=(x:Int) -> x)(1)|},
       Ap(
         Forward,
         Fun(