From c8ef191b7bdbc71a4d68458625402b8727ca0f15 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 11 Oct 2024 10:17:09 -0400
Subject: [PATCH] Modify singleton labeled tuple elaboration

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

diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
index c05f06983..2bec16bdd 100644
--- a/test/Test_Elaboration.re
+++ b/test/Test_Elaboration.re
@@ -301,7 +301,7 @@ let singleton_labeled_tuple = () =>
 
 let singleton_labeled_tuple_elaborates_labels = () =>
   alco_check(
-    "Labeled Tuple label introduction",
+    "let x : (l=String) = \"a\" in x",
     Let(
       Var("x") |> Pat.fresh,
       Tuple([
@@ -327,7 +327,7 @@ let singleton_labeled_tuple_elaborates_labels = () =>
           Unknown(Internal) |> Typ.fresh,
         )
         |> Pat.fresh,
-        Parens(Tuple([String("a") |> Exp.fresh]) |> Exp.fresh) |> Exp.fresh,
+        Parens(String("a") |> Exp.fresh) |> Exp.fresh, // TODO Should we require parens around singleton tables to ascribe labels
         Var("x") |> Exp.fresh,
       )
       |> Exp.fresh,