<div dir="ltr">This would be really handy to have. You could also have import "blocks", like<br><br><font face="courier new,monospace">import Foo in {<br>  ...<br>}<br><br></font><font face="courier new,monospace"></font>Where {...} is a new layout block, I guess.<br><br>On Wednesday, August 5, 2015 at 9:40:00 PM UTC+10, Oliver Charles wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Wed, Aug 5, 2015 at 12:34 PM Yuras Shumovich <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="iuFvUPEVBwAJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">shumo...@gmail.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
> I find myself wanting to be able to say something like:<br>
><br>
> foo = ...<br>
>   where import Something.Specific<br>
<br>
Then GHC will need to parse all the source code in order to build<br>
dependency tree. Also people may want to build dependency tree in their<br>
minds too, it is easier with global imports (in the module header.)<br>
What about the next:<br>
<br>
-- In the module header:<br>
import qualified Something.Specific as Specific<br>
...<br>
-- Somewhere else:<br>
foo = ...<br>
  where import Specific -- Note: importing by module alias<br></blockquote><div><br></div><div>I would rather we are able to use exactly the same features as global imports to reduce the cognitive burden of knowing what you can and can't do. If those responsible for GHC tell me that what I want is unrealistic then maybe we'll have to compromise, but right now I would rather not add limitations.</div><div><br></div><div><i>ocharles</i></div></div></div>
</blockquote></div>