<br><br><div class="gmail_quote">On Wed, Jul 18, 2012 at 4:25 AM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Wed, Jul 18, 2012 at 2:37 AM, ๏̯͡๏ Jasvir Nagra <<a href="mailto:jas@nagras.com">jas@nagras.com</a>> wrote:<br>
><br>
><br>
> On Tue, Jul 17, 2012 at 11:21 PM, David Herman <<a href="mailto:dherman@mozilla.com">dherman@mozilla.com</a>> wrote:<br>
>><br>
>> On Jul 17, 2012, at 9:17 PM, ๏̯͡๏ Jasvir Nagra wrote:<br>
>><br>
>> However, Module Semantics<br>
>> (<a href="http://wiki.ecmascript.org/doku.php?id=harmony:modules_semantics" target="_blank">http://wiki.ecmascript.org/doku.php?id=harmony:modules_semantics</a>) suggests<br>
>> that each inline module declaration introduces a fresh scope.<br>
>><br>
>><br>
>> As in, a fresh *nested* scope.<br>
><br>
><br>
> Ah that was definitely not clear to me from reading the spec or the<br>
> examples.  What outer bindings can be referred to - any lexically scoped<br>
> variables or just other module definitions?<br>
<br>
</div>Lexical bindings as well as module definitions:<br>
<br>
module outer {<br>
  let x = 1;<br>
  export module inner {<br>
    export y = x + 2;<br>
  }<br>
}<br></blockquote><div><br></div><div>That's a little unexpected.  Would the same hold if the above code was refactored so the inner module was a separate file?</div><br>module outer {<br>  let x = 1;<br>  export module inner = "<a href="http://m/inner.js">http://m/inner.js</a>";<br>
}</div><div class="gmail_quote"><br></div><div class="gmail_quote">If not, should a module inliner be doing variable renaming in order to maintain semantics?</div><div class="gmail_quote"><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888">
--<br>
sam th<br>
<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br>
</font></span></blockquote></div><br>