add test with nullary constructor

anoma · Dec 6, 2023 · fda68e9 · fda68e9
1 parent edee57c
commit fda68e9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/positive/ConstructorWildcard.juvix b/tests/positive/ConstructorWildcard.juvix
@@ -10,3 +10,7 @@ type either (A B : Type) :=
 isLeft {A B} : either A B → Bool
  | left@{} := true
  | right@{} := false;
+
+not : Bool → Bool
+ | false@{} := true
+ | true := false;