Add regression test

tweag · Sep 19, 2024 · 3f0eaf6 · 3f0eaf6
1 parent fc05ab3
commit 3f0eaf6
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 2 deletions.
diff --git a/topiary-cli/tests/samples/expected/nickel.ncl b/topiary-cli/tests/samples/expected/nickel.ncl
@@ -139,7 +139,20 @@
         1
       else
         3
-    )
+    ),
+
+    # regression test for https://github.com/tweag/topiary/issues/743
+    # (partially fixed)
+    let foo
+      | Number
+      = [
+        1,
+        2,
+        3
+      ]
+    in
+    foo
+    @ [],
   ],
 
   # Nickel standard library as of 44aef1672a09a76a71946fbf822713747ab7b9df

diff --git a/topiary-cli/tests/samples/input/nickel.ncl b/topiary-cli/tests/samples/input/nickel.ncl
@@ -127,7 +127,21 @@ bar == 'Goodbye
           if x == 1 then
               1
 else
-    3)
+    3),
+
+    # regression test for https://github.com/tweag/topiary/issues/743
+    # (partially fixed)
+    let foo
+    | Number
+    =
+[
+    1,
+    2,
+    3
+]
+in
+foo
+@ [],
   ],
 
   # Nickel standard library as of 44aef1672a09a76a71946fbf822713747ab7b9df