@@ -68,8 +68,10 @@ prop_concat = L.concat `eq` (unpack . T.concat . map pack)
68prop_concatMap f = L.concatMap f `eqP` (unpack . T.concatMap (pack . f))
68prop_concatMap f = L.concatMap f `eqP` (unpack . T.concatMap (pack . f))
69prop_any p = L.any p `eqP` T.any p
69prop_any p = L.any p `eqP` T.any p
70prop_all p = L.all p `eqP` T.all p
70prop_all p = L.all p `eqP` T.all p
71−prop_minimum = L.minimum `eqEP` T.minimum
72prop_maximum = L.maximum `eqEP` T.maximum
71prop_maximum = L.maximum `eqEP` T.maximum
72+prop_minimum = L.minimum `eqEP` T.minimum
74+prop_scanl f z = L.scanl f z `eqP` (unpack . T.scanl f z)
74prop_take n = L.take n `eqP` (unpack . T.take n)
76prop_take n = L.take n `eqP` (unpack . T.take n)
75prop_drop n = L.drop n `eqP` (unpack . T.drop n)
77prop_drop n = L.drop n `eqP` (unpack . T.drop n)
@@ -136,8 +138,10 @@ tests = [
136 ("prop_concatMap", mytest prop_concatMap),
138 ("prop_concatMap", mytest prop_concatMap),
137 ("prop_any", mytest prop_any),
139 ("prop_any", mytest prop_any),
138 ("prop_all", mytest prop_all),
140 ("prop_all", mytest prop_all),
139− ("prop_minimum", mytest prop_minimum),
140 ("prop_maximum", mytest prop_maximum),
141 ("prop_maximum", mytest prop_maximum),
142+ ("prop_minimum", mytest prop_minimum),
144+ ("prop_scanl", mytest prop_scanl),
142 ("prop_take", mytest prop_take),
146 ("prop_take", mytest prop_take),
143 ("prop_drop", mytest prop_drop),
147 ("prop_drop", mytest prop_drop),