add negative test

anoma · Nov 22, 2024 · 6e5f02f · 6e5f02f
1 parent 2b4ace5
commit 6e5f02f
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 1 deletion.
diff --git a/test/Compilation/Negative.hs b/test/Compilation/Negative.hs
@@ -81,5 +81,9 @@ tests =
     NegTest
       "Test013: Redundant side condition detection"
       $(mkRelDir ".")
-      $(mkRelFile "test013.juvix")
+      $(mkRelFile "test013.juvix"),
+    NegTest
+      "Test014: Non-exhaustive left-hand side pattern"
+      $(mkRelDir ".")
+      $(mkRelFile "test014.juvix")
   ]
diff --git a/tests/Compilation/negative/test014.juvix b/tests/Compilation/negative/test014.juvix
@@ -0,0 +1,16 @@
+-- Non-exhaustive left-hand side pattern
+module test014;
+
+import Stdlib.Data.Nat open;
+
+type Tree A :=
+  | Leaf
+  | Node A (Tree A) (Tree A);
+
+t : Tree Nat :=
+  Node 1 Leaf Leaf;
+
+main : Nat :=
+  let
+    (Node x _ _) := t
+  in x;