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&nbsp;</div><div><br></div><div>tst :: a -&gt; Bool</div>
<div>tst _ = True</div><div><br></div><div>and evaluate it we get</div><div><br></div><div>&gt; 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&#39;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 &quot;default type&quot; 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>