<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 3 March 2015 at 11:09, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The long term solution to this is to make the predicates in the standard<br>
library mode-polymorphic.  The legend (it was before I joined the project)<br>
is that when we tried this mode analysis was too slow and the costs<br>
outweighed the benefits.  Someone ought to correct me if I'm wrong.<br></blockquote><div><br></div><div>This was certainly the case when I investigated this 12 years ago.  However, with the improvements in the speed of computers since then it may be that the slow down no longer matters so much.</div><div><br></div><div> David</div></div></div></div>