No, it works. Straight from Frege REPL: frege> import Test.QuickCheck 2: H .fr:2: unused import of Test.QuickCheck as QuickCheck
frege> prop_Trivial (NonNegative n) = n >= 0 function prop_Trivial :: NonNegative Int -> Bool frege> quickCheck prop_Trivial () +++ OK, passed 100 tests. Am Samstag, 8. Oktober 2016 08:09:04 UTC+2 schrieb Russel Winder: > 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.
