[Haskell-cafe] List of nitpicks
johannes.waldmann at htwk-leipzig.de
Thu Aug 20 16:13:21 UTC 2015
> 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.
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"
Prelude Test.QuickCheck> quickCheck $ ( (\ xs -> xs == reverse xs ) ::
Eq a => [a] -> Bool)
+++ OK, passed 100 tests.
More information about the Haskell-Cafe