Ah. Allen, you did send this to both me and the list. However, I didn't notice that it didn't show up on the list. It seems you are not subscribed.
---------- Forwarded message ---------- From: Allen Wirfs-Brock <[email protected]> Date: Thu, May 15, 2014 at 12:56 PM Subject: Re: [Caja] Re: Issue 1916 in google-caja: [[ThrowTypeError]] checks don't pass in ES6 To: "Mark S. Miller" <[email protected]> Cc: Google Caja Discuss <[email protected]> You tell me, what's the problem. The ES6 spec. says that %ThrowTypeError% is non-extensible. http://people.mozilla.org/~jorendorff/es6-draft.html#sec-%throwtypeerror% Only possible issue I see, is that perhaps 9.2.8 also needs to say that the length property is non-writable, non-configurable. Note that using the Realm api, you can access and manually freeze this and similar functions. Allen On May 15, 2014, at 11:36 AM, Mark S. Miller wrote: [+Allen] Hi Allen, what's with [[ThrowTypeError]]? On Thu, May 15, 2014 at 11:32 AM, <[email protected]> wrote: > Updates: > Owner: [email protected] > Cc: erights > Labels: -Component-Other Component-SES > > Comment #1 on issue 1916 by [email protected]: [[ThrowTypeError]] checks > don't pass in ES6 > http://code.google.com/p/google-caja/issues/detail?id=1916 > > MarkM, could you take a look at this spec-drafting-wise? We can and should > fix SES to match the spec, but I thought that ES5 deliberately made > ThrowTypeError deep frozen, and if this report is right ES6 as spec'd > breaks that. > > > -- > You received this message because this project is configured to send all > issue notifications to this address. > You may adjust your notification preferences at: > https://code.google.com/hosting/settings > > -- > > ---You received this message because you are subscribed to the Google > Groups "Google Caja Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- Cheers, --MarkM -- Cheers, --MarkM -- --- You received this message because you are subscribed to the Google Groups "Google Caja Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
