[Haskell-beginners] QuickCheck Crazy

Kim-Ee Yeoh ky3 at atamo.com
Fri Oct 17 04:34:16 UTC 2014


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

> Finally and most puzzling, why does quickCheck give out the wrong result
> if I don't specify the type when testing 'const_bug'?


Quickcheck properties must be monomorphic. Otherwise defaulting rules set
you up for () and hilarity ensues.

Did you google "quickcheck polymorphic types"?

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20141017/c3ee2a0d/attachment.html>


More information about the Beginners mailing list