test

anoma · Oct 30, 2024 · eefe780 · eefe780
1 parent 18c71b6
commit eefe780
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/Compilation/negative/test011.juvix b/tests/Compilation/negative/test011.juvix
@@ -0,0 +1,15 @@
+-- Redundant pattern after a true side condition
+module test011;
+
+import Stdlib.Prelude open;
+
+f (x : List Nat) : Nat :=
+  case x of
+    | nil := 0
+    | x :: _ :: nil := x
+    | _ :: _ :: _ :: _ if true := 0
+    | _ :: _ :: x :: nil := x
+    | _ :: nil := 1
+    | _ := 2;
+
+main : Nat := f (1 :: 2 :: nil);