<br><div class="gmail_quote">On Wed, Oct 3, 2012 at 11:44 AM, Sean Leather <span dir="ltr">&lt;<a href="mailto:leather@cs.uu.nl" target="_blank">leather@cs.uu.nl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Simon,<div><br></div><div>Thanks for all your work in getting TypeHoles into HEAD. We really appreciate it.</div><div><br></div><div>I was playing around with HEAD today and wanted to share a few observations.</div><div>


<br>
</div><div>(1) One of the ideas we had was that a hole `_&#39; would be like `undefined&#39; but with information about the type and bindings. But in the current version, there doesn&#39;t appear to be that connection. This mainly applies to ambiguous type variables.</div>




<div><br></div><div>Consider:</div><div>&gt; f = show _</div><div>The hole has type a0.</div><div><br></div><div>But with</div><div>&gt; f = show undefined</div><div>there is a type error because a0 is ambiguous.</div><div>



<br></div><div>We were thinking that it would be better to report the ambiguous type variable first, rather than the hole. In that case, tou can use -fdefer-type-errors to defer the error. Currently, you don&#39;t have that option. I can see the argument either way, however, and I&#39;m not sure which is better.</div>
</blockquote><div> </div><div>At least in the first case I would actually prefer it not to complain about the ambiguity. The point of putting the hole in is to figure out the type that something going into that location should have and what information I have available to use to plug that hole. </div>
<div><br></div><div>An &#39;undefined&#39; _is_ ambiguous, but _ is a placeholder for code that presumably will be valid when it gets expanded.<br><div><br></div><div>If I have to put a type annotation on it to avoid the compiler dumping out with an error about an ambiguous hole that would seem to me at least to largely defeat the very utility of holes. I would further suspect there are places where you&#39;ll be putting holes that have higher rank  types, and where undefined might complain.</div>
<div><br></div><div>I largely agree with but don&#39;t really have a deep opinion on the other issues you raised, though.</div><div><br></div><div>-Edward</div></div></div>