Should there be a similar place for tooling and libraries? a Gargantuan task
QuickCheck fails by letting all tests pass when you mistakenly provide polymorphic type signatures. No!
Prelude Test.QuickCheck> quickCheck $ ( (\ x -> 1 > 9) :: a -> Bool) *** Failed! Falsifiable (after 1 test): ()
I think you mean "defaults everything to () and thus runs polymorphic tests at unexpected types" Exactly, but if you are testing with positive tests (which I find to be
Em 20/08/15 10:13, Johannes Waldmann escreveu: the common case and what you want in security testing), that usually means all the tests pass.
Prelude Test.QuickCheck> quickCheck $ ( (\ xs -> xs == reverse xs ) :: Eq a => [a] -> Bool) +++ OK, passed 100 tests.
- J.W. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe