[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