<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Apr 30, 2014 at 5:17 PM, Allen Wirfs-Brock <span dir="ltr"><<a href="mailto:allen@wirfs-brock.com" target="_blank" class="cremed">allen@wirfs-brock.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word">Where do you find the spec incomplete WRT @@unscopable.  My recollection was that it was all resolved and fully specified and that I was relatively happy with the outcome.</div>

</blockquote><div><br></div><div>I thought so too but now that I look at it I cannot find where we Get the @unscopable list out of the with expression object. As far as I can tell unscopables is never populated.</div><div>

<br></div><div><a href="http://people.mozilla.org/~jorendorff/es6-draft.html#sec-with-statement-runtime-semantics-evaluation">http://people.mozilla.org/~jorendorff/es6-draft.html#sec-with-statement-runtime-semantics-evaluation</a><br>

</div><div><a href="http://people.mozilla.org/~jorendorff/es6-draft.html#sec-newobjectenvironment">http://people.mozilla.org/~jorendorff/es6-draft.html#sec-newobjectenvironment</a><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div style="word-wrap:break-word"><span class=""><font color="#888888"><div><br></div><div>Allen</div></font></span><div><div class="h5"><div><br></div><div><div><div>On May 1, 2014, at 3:00 AM, Erik Arvidsson <<a href="mailto:erik.arvidsson@gmail.com" target="_blank" class="cremed">erik.arvidsson@gmail.com</a>> wrote:</div>

<br><blockquote type="cite"><div dir="ltr">This was never resolved and the spec is incomplete here<br><br><div>On Wed Sep 25 2013 at 6:17:32 PM, Allen Wirfs-Brock <<a href="mailto:allen@wirfs-brock.com" target="_blank" class="cremed">allen@wirfs-brock.com</a>> wrote:</div>



<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">So here is another concern, about the scheme we agreed to last week.<br>


<br>
It needs to match a found own property against the possibility of an own @@unscopable property on the same object and that  object may be somewhere up the inheritance chain of the actual with object.  The means that [[HasProperty]]/[[Get]]/[[Set]<u></u><u></u>] can not be used to do those resolve binding in an ObjectEnvironmentRecord because they don't tell us where the property was found.  Instead, ObjectEnvironmentRecord needs to reimplement its own property lookup using [[GetOwnProperty]] and [[GetInheritanceOf]].  However, if the with object is a proxy that means we may be bypassing the actual inheritance mechanism implemented by the Proxy's 'has'/'get'/'set' traps and that could introduce observable semantics irregularities.<br>




<br>
Specifying the duplicated lookup is doable but a pain.  That and the semantic issues WRT proxies makes me a lot less comfortable with the added complexity of supporting @@unscopable.<br>
<br>
Allen </blockquote></div>
</blockquote></div><br></div></div></div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>erik
</div></div>