Re: [Haskell-cafe] List of nitpicks

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" Prelude Test.QuickCheck> quickCheck $ ( (\ xs -> xs == reverse xs ) :: Eq a => [a] -> Bool) +++ OK, passed 100 tests. - J.W.