[Haskell-beginners] QuickCheck Crazy

Brandon Allbery allbery.b at gmail.com
Fri Oct 17 19:16:57 UTC 2014


On Fri, Oct 17, 2014 at 2:55 PM, Dimitri DeFigueiredo <
defigueiredo at ucdavis.edu> wrote:

> I agree we have to pick a poison here and I didn't know that the Extended
> Default Rules were the culprit, but I think the end result is scary because
> forgetting a type signature is about the most common mistake I make. Having
> that imply that tests will silently pass means (to me) that it's not safe
> to use Quickcheck with GHCi. Or, just remember to always make properties
> monomorphic. "Always!"
>

It might make more sense to have a warning in the QuickCheck documentation
that, from ghci, it's best to ":seti -XNoExtendedDefaultRules" (and/or add
that to .ghci / ghci.ini) to avoid surprises.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20141017/36118f39/attachment.html>


More information about the Beginners mailing list