On Wed, Aug 5, 2015 at 9:29 PM Edward Z. Yang <ezyang@mit.edu> wrote:

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.

 

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?

That is, should I be able to do

let import Prelude hiding (div)

    import HTML

in div "Hello, World!"

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.