[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