[QuickCheck] Positive instance is broken

Bryan O'Sullivan bos at serpentine.com
Mon Jun 9 18:00:01 BST 2014


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!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20140609/7f3537d7/attachment.htm>


More information about the QuickCheck mailing list