From 24de2fad4d8b826f1cc99b0b53f82c1f056d4d39 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 15 Nov 2024 14:16:41 -0500
Subject: [PATCH] Fix assertions

---
 test/Test_Elaboration.re | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
index 746886d18..3b6b28e07 100644
--- 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,7 +620,7 @@ 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(
@@ -628,7 +628,7 @@ let elaboration_tests = [
     `Quick,
     () =>
     alco_check(
-      {|(fun a=x->x)(a=1)|},
+      {|(fun a=(x:Int) -> x)(1)|},
       Ap(
         Forward,
         Fun(