add test with nullary constructor

anoma · Dec 6, 2023 · accb3f2 · accb3f2
1 parent 0f3f22b
commit accb3f2
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;