On Fri, 2016-10-07 at 13:39 -0700, Ingo W. wrote: > > It seems that:
Test.QuickCheckModifiers.NonNegative Integer is not: Integral Indeed, it isn't. You're supposed to extract your data in the tests like, for example: > prop_Trivial (NonNegative n) = n >= 0 I have never been able to get this way of constraining to work, I have always had to do: trivialCondition n = n > 0 theProperty = property (trivialCondition . NonNegative.getNonNegative) for things to work. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.win...@ekiga.net 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: This is a digitally signed message part
