We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1ba4d72 commit 0cac6dfCopy full SHA for 0cac6df
test/Main.hs
@@ -31,8 +31,14 @@ genIdentifier = listOf1 genLetter `suchThat` notForbidden
31
notForbidden "then" = False
32
notForbidden "else" = False
33
notForbidden "lam" = False
34
+ notForbidden "inl" = False
35
+ notForbidden "inr" = False
36
+ notForbidden "proj1" = False
37
+ notForbidden "proj2" = False
38
+ notForbidden "case" = False
39
+ notForbidden "of" = False
40
+ notForbidden "as" = False
41
notForbidden _ = True
-
42
43
instance Arbitrary TypeL where
44
arbitrary = frequency
0 commit comments