From c91815ebda06d536c69bec1a8af05e344e46925f Mon Sep 17 00:00:00 2001 From: John P Mayer Jr Date: Tue, 14 Jan 2014 21:30:03 -0500 Subject: [PATCH] turned off Data and Record types, found a bad test case with lambda --- tests/Tests/Property/Arbitrary.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Tests/Property/Arbitrary.hs b/tests/Tests/Property/Arbitrary.hs index 25a3a95..13aae60 100644 --- a/tests/Tests/Property/Arbitrary.hs +++ b/tests/Tests/Property/Arbitrary.hs @@ -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