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 -- 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.
