Skip to content

Commit

Permalink
Remove artificial list length in prop_lookupMany
Browse files Browse the repository at this point in the history
Signed-off-by: Austin Seipp <aseipp@pobox.com>
  • Loading branch information
thoughtpolice committed Sep 2, 2013
1 parent 5b6f8d3 commit c5e7acf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/properties.hs
Expand Up @@ -38,7 +38,7 @@ prop_insertLookup k = V.lookup k (V.insert k () V.empty) /= Nothing
--prop_fromList xs = V.fromList xs == foldr (\(k,v) -> V.insert k v) V.empty xs

prop_lookupMany :: [(Int,Int)] -> Property
prop_lookupMany xs = (List.length xs > 0 && List.length xs < 50) ==> prop
prop_lookupMany xs = List.length xs > 0 ==> prop
where
prop = all (\(x,_) -> isJust $ V.lookup x ls) xs'

Expand Down

0 comments on commit c5e7acf

Please sign in to comment.