On Jul 10, 2013, at 4:40 PM, Sam Tobin-Hochstadt wrote:

> On Wed, Jul 10, 2013 at 7:24 PM, Rick Waldron <waldron.rick at gmail.com> wrote:
>> 
>> It gets created nowhere,
> 
> This is right.
> 
>> because the body of a module is implicitly strict,
> 
> And this is right.
> 
>> so the above code produces a Reference Error.
> 
> But this is incorrect, because modules check that their bodies don't
> have free variables, so the above code has a _static_ error.

Ah, do you mean this is a link time check?

It isn't a regular early error situations because gvar could be a dynamically added property on the global object.

Not sure what your current semantics are, but I thought it was established a long time ago that modules needed free references in order to deal with global object properties.

Allen

On Jul 10, 2013, at 4:40 PM, Sam Tobin-Hochstadt wrote:

> But this is incorrect, because modules check that their bodies don't
> have free variables, so the above code has a _static_ error.

Ah, do you mean this is a link time check?

It isn't a regular early error situations because gvar could be a dynamically added property on the global object.

Not sure what your current semantics are, but I thought it was established a long time ago that modules needed free references in order to deal with global object properties.