Re: [Haskell-beginners] QuickCheck Crazy

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 mailto:defigueiredo@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@gmail.com mailto:allbery.b@gmail.com ballbery@sinenomine.net mailto:ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net

_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners