On Sat, 2016-10-08 at 02:27 -0700, Ingo W. wrote: > 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.
Is the problem that my function under test is Integer → Integer not Int → Int or Int → Integer -- 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
