git.iko.soy/elk
on master help sign in
Update tests for new representation of Aliased types
13ddd91Evan Czaplicki
tests/Test/Property/Arbitrary.hs+7−7
compare with master
unifiedsplit
@@ -137,8 +137,8 @@ instance Arbitrary v => Arbitrary (T.Type v) where
137 T.Var _ ->
137 T.Var _ ->
138 []
138 []
139
139
140− T.Aliased v t ->
140+ T.Aliased name tvars rootType ->
141− t : (T.Aliased v <$> shrink t)
141+ rootType : (T.Aliased name <$> shrinkList shrinkPair tvars <*> shrink rootType)
142
142
143 T.Type name ->
143 T.Type name ->
144 T.Type <$> shrink name
144 T.Type <$> shrink name
@@ -152,14 +152,14 @@ instance Arbitrary v => Arbitrary (T.Type v) where
152 record =
152 record =
153 case extension of
153 case extension of
154 Nothing ->
154 Nothing ->
155− T.Record <$> shrinkList shrinkField fields <*> pure Nothing
155+ T.Record <$> shrinkList shrinkPair fields <*> pure Nothing
156
156
157 Just _ ->
157 Just _ ->
158− do fields' <- filter (not . null) $ shrinkList shrinkField fields
158+ do fields' <- filter (not . null) $ shrinkList shrinkPair fields
159 return $ T.Record fields' extension
159 return $ T.Record fields' extension
160−
160+ where
161− shrinkField (name, tipe) =
161+ shrinkPair (name, tipe) =
162− (,) <$> consAndShrink name <*> shrink tipe
162+ (,) <$> consAndShrink name <*> shrink tipe
163
163
164
164
165lowVar :: Gen String
165lowVar :: Gen String