[Haskell-cafe] List of nitpicks

[Dimitri DeFigueiredo]

Em 20/08/15 10:13, Johannes Waldmann escreveu:
>> 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 
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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe