[Haskell-cafe] List of nitpicks

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

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.


More information about the Haskell-Cafe mailing list