turned off Data and Record types, found a bad test case with lambda
This commit is contained in:
parent
afb6bd5023
commit
c91815ebda
1 changed files with 3 additions and 3 deletions
|
@ -64,9 +64,9 @@ instance Arbitrary Type where
|
|||
where tipe :: Int -> Gen Type
|
||||
tipe n = oneof [ Lambda <$> depthTipe <*> depthTipe
|
||||
, Var <$> lowVar
|
||||
, Data <$> capVar <*> listOf depthTipe
|
||||
, Record <$> listOf1 field <*> (Just <$> lowVar)
|
||||
, Record <$> listOf field <*> pure Nothing
|
||||
--, Data <$> capVar <*> listOf depthTipe
|
||||
--, Record <$> listOf1 field <*> (Just <$> lowVar)
|
||||
--, Record <$> listOf field <*> pure Nothing
|
||||
]
|
||||
where depthTipe :: Gen Type
|
||||
depthTipe = do
|
||||
|
|
Loading…
Reference in a new issue