<div dir="ltr">That makes perfect sense to me.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 5, 2016 at 9:02 AM, Yitzchak Gale <span dir="ltr"><<a href="mailto:gale@sefer.org" target="_blank">gale@sefer.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Yuras Shumovich wrote:<br>
>> Can we generalize the proposal such that subsequent imports shadow<br>
>> preceding ones?<br>
<br>
</span>Herbert Valerio Riedel wrote:<br>
> ...iirc there is a different idea...<br>
> allowing explicitly enumerated names...<br>
<span class="">> to shadow imports from other modules which didn't explicitly name the<br>
> same import; effectively introducing a higher-priority scope for names<br>
> imported explicitly.<br>
<br>
</span>Conversely - the original proposal should be modified to remain<br>
an error, not a warning, when the symbol was imported explicitly<br>
on an import list and then redefined locally at the top level.<br>
This is equivalent to defining a symbol twice in the same scope.<br>
<br>
Thanks,<br>
Yitz<br>
<div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>