From 03208ff7b50ab7378b4af097dee127c6b14b0e7f Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Wed, 16 Oct 2024 09:15:43 -0400
Subject: [PATCH] Fix test

---
 test/Test_Elaboration.re | 23 ++++++++---------------
 1 file changed, 8 insertions(+), 15 deletions(-)

diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
index 8df14a4e6c..e4194e9d85 100644
--- a/test/Test_Elaboration.re
+++ b/test/Test_Elaboration.re
@@ -183,6 +183,7 @@ let deferral = () =>
   alco_check(
     "string_sub(\"hello\", 1, _)",
     dhexp_of_uexp(
+      // This test seems broken
       DeferredAp(
         Var("string_sub") |> Exp.fresh,
         [
@@ -408,20 +409,12 @@ let elaboration_tests = [
     alco_check(
       "Singleton labeld tuple analysis adds label",
       Let(
-        Cast(
-          Var("x") |> Pat.fresh,
-          Parens(
-            Prod([
-              TupLabel(Label("l") |> Typ.fresh, String |> Typ.fresh)
-              |> Typ.fresh,
-            ])
-            |> Typ.fresh,
-          )
-          |> Typ.fresh,
-          Unknown(Internal) |> Typ.fresh,
-        )
-        |> Pat.fresh,
-        Parens(Tuple([String("a") |> Exp.fresh]) |> Exp.fresh) |> Exp.fresh, // TODO Need to assert there's no inconsistency in this branch
+        Var("x") |> Pat.fresh,
+        Tuple([
+          TupLabel(Label("l") |> Exp.fresh, String("a") |> Exp.fresh)
+          |> Exp.fresh,
+        ])
+        |> Exp.fresh,
         Var("x") |> Exp.fresh,
       )
       |> Exp.fresh,
@@ -440,7 +433,7 @@ let elaboration_tests = [
             Unknown(Internal) |> Typ.fresh,
           )
           |> Pat.fresh,
-          Parens(String("a") |> Exp.fresh) |> Exp.fresh, // TODO Need to assert there's no inconsistency in this branch
+          Parens(String("a") |> Exp.fresh) |> Exp.fresh,
           Var("x") |> Exp.fresh,
         )
         |> Exp.fresh,