<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">The other point people seem to miss about import as a special binding form is not just that it can be restricted grammatically to be control-insensitive by construction: it's that static export vs. import checking can be done to catch typos.</div>
</blockquote><div><br></div><div>As long as the exported names are static, it's possible to catch typos using Isaac's form as well though, right?</div><div><br></div><div>- Kevin</div></div>