Hi, Am Sonntag, den 13.01.2013, 07:34 -0800 schrieb Bob Ippolito: > I think it's more complicated because he doesn't know what the return > type or arity of the function is. In QuickCheck they know the return > type of a property is Bool. In this case, we only know that the return > type is an instance of Show. I don't think that's enough to simply > implement this.
I posted on SE an answer that tries to do it with OverlappingInstances: http://stackoverflow.com/questions/14294802/evaluating-function-at-random-arguments-using-quickcheck/14295179#14295179 Greetings, Joachim -- Joachim "nomeata" Breitner m...@joachim-breitner.de | nome...@debian.org | GPG: 0x4743206C xmpp: nome...@joachim-breitner.de | http://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe