2008/6/17 Hugo Pacheco <[EMAIL PROTECTED]>: > Hi all, > There is something about polymorphic tests in QuickCheck that I do not > understand. > If you write the simplest dummy test function > tst :: a -> Bool > tst _ = True > and evaluate it we get >> verboseCheck tst > 0: > () > 1: > () > ... > How come did the polymorphic value a get instanciated to ()? Is this done > via the Testable type class?
I haven't got something here to check with, but from the formatting it looks like every odd line is a randomly-chosen boolean value, and the following line is the result? It might be just printing the result value of IO (). Maybe try a more complete test to see how that looks? Cheers, D -- Dougal Stanton [EMAIL PROTECTED] // http://www.dougalstanton.net _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe