From 17ff03e02eea5ec71a20f6e237fb36ba648ca99f Mon Sep 17 00:00:00 2001
From: Daniel Ehrenberg <littledan@chromium.org>
Date: Sat, 17 Feb 2018 22:22:45 +0100
Subject: [PATCH] Normative: Permit serialization of BigInt wrappers

The goal of this PR is to integrate BigInt with HTML serialization.

This patch
- Adds BigInt to the "safe list" of primitives permitted for
  serialization.
- Adds serialization of BigInt wrappers, analogous to other wrappers.

Note that BigInt, like (the unserializable) Symbol does not have a
new-able constructor: use of wrappers is explicitly discouraged by
the specification. Nevertheless, this patch adds serialization support
for consistency with other wrappers.

web-platform-tests against postMessage on BigInt are out for review in
https://github.com/w3c/web-platform-tests/pull/9565
---
 source | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/source b/source
index 98127220d93..6158514cb93 100644
--- a/source
+++ b/source
@@ -8127,7 +8127,7 @@ interface <dfn>DOMStringList</dfn> {
    <li><p>Let <var>deep</var> be false.</p></li>
 
    <li><p>If <span data-x="js-Type">Type</span>(<var>value</var>) is Undefined, Null, Boolean,
-   String, or Number, then return { [[Type]]: "primitive", [[Value]]: <var>value</var> }.</p></li>
+   Number, BigInt, or String, then return { [[Type]]: "primitive", [[Value]]: <var>value</var> }.</p></li>
 
    <li><p>If <span data-x="js-Type">Type</span>(<var>value</var>) is Symbol, then throw a
    <span>"<code>DataCloneError</code>"</span> <code>DOMException</code>.</p></li>
@@ -8141,6 +8141,10 @@ interface <dfn>DOMStringList</dfn> {
    <var>serialized</var> to { [[Type]]: "Number", [[NumberData]]: <var>value</var>.[[NumberData]]
    }.</p></li>
 
+   <li><p>Otherwise, if <var>value</var> has a [[BigIntValue]] internal slot, then set
+   <var>serialized</var> to { [[Type]]: "BigInt", [[BigIntValue]]: <var>value</var>.[[BigIntValue]]
+   }.</p></li>
+
    <li><p>Otherwise, if <var>value</var> has a [[StringData]] internal slot, then set
    <var>serialized</var> to { [[Type]]: "String", [[StringData]]: <var>value</var>.[[StringData]]
    }.</p></li>
@@ -8546,6 +8550,10 @@ o.myself = o;</pre>
    <var>targetRealm</var> whose [[NumberData]] internal slot value is
    <var>serialized</var>.[[NumberData]].</p></li>
 
+   <li><p>Otherwise, if <var>serialized</var>.[[Type]] is "BigInt", then set <var>value</var> to a new BigInt object in
+   <var>targetRealm</var> whose [[BigIntValue]] internal slot value is
+   <var>serialized</var>.[[BigIntValue]].</p></li>
+
    <li><p>Otherwise, if <var>serialized</var>.[[Type]] is "String", then set <var>value</var> to a new String object in
    <var>targetRealm</var> whose [[StringData]] internal slot value is
    <var>serialized</var>.[[StringData]].</p></li>