diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re index c05f06983c..2bec16bdd3 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,