17 Oct
2014
17 Oct
'14
9:59 a.m.
On Fri, Oct 17, 2014 at 1:53 AM, Dimitri DeFigueiredo < defigueiredo@ucdavis.edu> wrote:
This makes more sense now. It does still seem like very unsafe default behavior by quickCheck.
QuickCheck has no way of knowing that ghci has ExtendedDefaultRules enabled, and (quite aside from the difficulty of doing type-case in Haskell) I'm not sure that arbitrarily declaring types involving () to be user error is a good idea. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net