<div>Right.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Feb 21, 2019 at 23:38 Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Thu, 21 Feb 2019, Lennart Augustsson wrote:<br>
<br>
> I don’t really see how it subverts anything.  If you rename the module <br>
> on import, then that’s the module name you have to use when accessing a <br>
> qualified export. <br>
<br>
That is, "qualified export" is only a flag for each identifier and not a <br>
module name per identifier?</blockquote></div></div>