From 60ee9c7b5563f93e0f291f0578c0e64ea6e5ac2e Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Thu, 7 Mar 2019 14:50:51 +0100 Subject: [PATCH] Editorial: use Realm record's [[Intrinsics]] --- source | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/source b/source index cc8ed1e1713..6be25b7ca39 100644 --- a/source +++ b/source @@ -3022,8 +3022,7 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute @@toPrimitive, and @@toStringTag
  • Well-Known Intrinsic Objects, including - %ArrayBuffer%, - %ArrayPrototype%, and + %ArrayPrototype% and %ObjProto_valueOf%
  • The FunctionBody production
    • @@ -8738,8 +8737,8 @@ o.myself = o;

    Otherwise, if serialized.[[Type]] is "Array", then:

      -

    1. Let outputProto be the %ArrayPrototype% intrinsic object in - targetRealm.

      2. +

    2. Let outputProto be + targetRealm.[[Intrinsics]].[[%ArrayPrototype%]].

    3. Set value to ! ArrayCreate(serialized.[[Length]], outputProto).

      4. @@ -81280,8 +81279,12 @@ State: <OUTPUT NAME=I>1</OUTPUT> <INPUT VALUE="Increment" TYPE=BUTTON O

    4. Let location be a new Location platform object.

      5. +

    5. Let valueOf be location's relevant + Realm.[[Intrinsics]].[[%ObjProto_valueOf%]].

      6. +

    6. Perform ! location.[[DefineOwnProperty]]("valueOf", { - [[Value]]: %ObjProto_valueOf%, + [[Value]]: valueOf, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }).