[Haskell-cafe] List of nitpicks
defigueiredo at ucdavis.edu
Thu Aug 20 17:07:16 UTC 2015
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.
> 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
More information about the Haskell-Cafe