<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Wed, Aug 5, 2015 at 9:29 PM Edward Z. Yang <<a href="mailto:ezyang@mit.edu">ezyang@mit.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Oliver,<br>
<br>
This should be a relatively straightforward extension to the renamer.<br></blockquote><div><br></div><div>This is good news! Someone on Reddit mentioned something that hasn't come up here yet - what happens with Template Haskell and quasiquoters? Does the renamer fire before that stage is reached? I don't see any reason that you couldn't import TH "macros" locally, as you can any other top-level definition, unless there's a limitation in GHC.</div><div> </div><div>One other point that hasn't been mentioned yet, but was implicit with my original proposal of having the full power of import - should we be able to hide names in a local context?</div><div><br></div><div>That is, should I be able to do</div><div><br></div><div>let import Prelude hiding (div)</div><div>    import HTML</div><div>in div "Hello, World!"</div><div><br></div><div>My guess is that now that we're heading towards a syntax extension where we can open/unqualify a qualified import this is probably not on the table, but I thought I should raise it first before starting to work on a more formal proposal.</div><div><br></div><div><i>ocharles</i></div></div></div>