On Fri, Aug 7, 2015 at 11:16 AM, Richard Eisenberg
This all seems to be solidifying nicely. From my perspective, I didn't really like the original proposal, but am now in favor of where it has evolved -- with all imports declared at the top, and then adding `import ...` to the syntax of local declarations. I'm not sure where the trouble around instances comes from in this idea, though. Even if a module is imported qualified, all of its instances are available anywhere, and I don't see that changing here. As Edward said, this would just be a small change in the renamer.
The initial request wanted the import to actually be done in in the restricted scope; keeping the actual qualified import at the top and removing the qualification in the inner scope came later. That initial version has problems for instances; the later revision does not. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net