also should be able to check both sub-types are valid
commitd72cbbffe395aa3d7d65a992b60f2fcb2efe53dc
authorJohn P Mayer Jr <john.p.mayer.jr@gmail.com>
dateTue 14 Jan 2014, 22:03 (13 years ago)
parentc91815e
tests/Tests/Property/Arbitrary.hs+1−1
@@ -76,7 +76,7 @@ instance Arbitrary Type where
7676 field = (,) <$> lowVar <*> depthTipe
7777
7878 shrink tipe = case tipe of
79− Lambda s t -> Lambda <$> shrink s <*> shrink t
79+ Lambda s t -> s : t : (Lambda <$> shrink s <*> shrink t)
8080 Var _ -> []
8181 Data n ts -> Data <$> shrinkWHead n <*> shrink ts
8282 Record fs t -> case t of