<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>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.</div><div><br></div><div>Is it time to make a wiki page and post a feature request? I think so.</div><div><br></div><div>Thanks!</div><div>Richard</div><br><div><div>On Aug 7, 2015, at 4:26 AM, Oliver Charles <<a href="mailto:ollie@ocharles.org.uk">ollie@ocharles.org.uk</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Thu, Aug 6, 2015 at 6:19 AM Vlatko Basic <<a href="mailto:vlatko.basic@gmail.com">vlatko.basic@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="background-color: rgb(255, 255, 255); " text="#000000" bgcolor="#FFFFFF">
The old Turbo Pascal keyword "with" (used for records) popped up in
my mind. <br>
It's rather clear for namespace resolution and would look something
like this:<br>
<br>
with Data.ByteString $ do<br>
map f ...<br>
<br>
with Prelude $ do<br>
map f ...<br>
<br>
or more explicit<br>
<br>
withImport Data.ByteString $ do<br>
....<br></div></blockquote><div><br></div><div>One problem with this is that it forces an ordering on statements. Sometimes you might want to push the imports to the side, by moving them to a where clause, rather than a let binding. I'm hoping that whatever we propose would allow you to do this. That's why I think the syntax construct needs to be something that appears at the time of doing bindings.</div><div><br></div><div><i>ocharles</i> <br></div></div></div>
_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe<br></blockquote></div><br></body></html>