[Haskell-cafe] List of nitpicks

[Johannes Waldmann]

> 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.