[QuickCheck] Positive instance is broken
Nick Smallbone
nicsma at chalmers.se
Mon Jun 9 18:14:35 BST 2014
On Monday 09 June, 2014 at 10:00 am, Bryan O'Sullivan wrote:
> On Sun, Jun 8, 2014 at 1:16 PM, Nick Smallbone <nicsma at chalmers.se> wrote:
>
> > I think I'll have to do what I was trying to avoid, and remove the Num
> > instance for Positive and friends entirely. It doesn't really make
> > sense to have a numeric type without 0 in it. This means that your
> > earlier bug report, about Small (Positive Int), will now fail to
> > typecheck, but Positive (Small Int) will do the right thing.
> >
>
> Works for me. Thanks!
That's pushed now!
Nick
More information about the QuickCheck
mailing list