Hi all,<div><br></div><div>There is something about polymorphic tests in QuickCheck that I do not understand.</div><div><br></div><div>If you write the simplest dummy test function </div><div><br></div><div>tst :: a -> Bool</div>
<div>tst _ = True</div><div><br></div><div>and evaluate it we get</div><div><br></div><div>> verboseCheck tst</div><div><div>0:</div><div>()</div><div>1:</div><div>()</div><div>...</div></div><div><br></div><div>How come did the polymorphic value a get instanciated to ()? Is this done via the Testable type class?</div>
<div>Could someone please explain this to me? I'm not saying it does not make sense, but I would like to understand how it works. Being possible to change this behavior, this is, assign another "default type" whenever polymorphic types occur, would be awesome.</div>
<div><br></div><div>Cheers,</div><div>hugo</div><div><br>-- <br><a href="http://www.di.uminho.pt/~hpacheco">www.di.uminho.pt/~hpacheco</a>
</div>