17 Oct
2014
17 Oct
'14
12:34 a.m.
On Fri, Oct 17, 2014 at 10:55 AM, Dimitri DeFigueiredo < defigueiredo@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