[Haskell-beginners] QuickCheck Crazy
Dimitri DeFigueiredo
defigueiredo at ucdavis.edu
Fri Oct 17 20:05:38 UTC 2014
That is a great idea! I'm changing my ghci configuration as I write
this. Problem solved!
Thanks,
Dimitri
On 17/10/14 13:16, Brandon Allbery wrote:
> On Fri, Oct 17, 2014 at 2:55 PM, Dimitri DeFigueiredo
> <defigueiredo at ucdavis.edu <mailto: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 <mailto:allbery.b at gmail.com>
> ballbery at sinenomine.net <mailto:ballbery at sinenomine.net>
> unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
>
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20141017/ae1ef7ee/attachment.html>
More information about the Beginners
mailing list