From 4295a8df596c21b2815b96483d168ab97e8de468 Mon Sep 17 00:00:00 2001
From: Domenic Denicola <d@domenic.me>
Date: Thu, 1 Oct 2020 16:58:36 -0400
Subject: [PATCH] =?UTF-8?q?Add=20Infra=20=E2=86=92=20JSON=20conversion=20a?=
 =?UTF-8?q?lgorithms?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes #336.
---
 infra.bs | 79 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 79 insertions(+)

diff --git a/infra.bs b/infra.bs
index 1487c10..dfee465 100644
--- a/infra.bs
+++ b/infra.bs
@@ -18,9 +18,12 @@ urlPrefix: https://tc39.github.io/ecma262/#; spec: ECMA-262;
         text: realm; url: realm
     type: method; for: Array; text: sort(); url: sec-array.prototype.sort
     type: abstract-op;
+        text: ArrayCreate; url: sec-arraycreate
         text: Call; url: sec-call
+        text: CreateDataPropertyOrThrow; url: sec-createdatapropertyorthrow
         text: Get; url: sec-get-o-p
         text: IsArray; url: sec-isarray
+        text: OrdinaryObjectCreate; url: sec-ordinaryobjectcreate
         text: ToLength; url: sec-tolength
         text: ToString; url: sec-tostring
         text: Type; url: sec-ecmascript-data-types-and-values
@@ -1522,6 +1525,82 @@ given a JavaScript value <var>jsValue</var>:
  <li><p>Return |result|.
 </ol>
 
+<p>To <dfn export lt="serialize an Infra value to a JSON string|serializing an Infra value to a JSON string">serialize an Infra value to a JSON string</dfn>,
+given a <a>string</a>, <a>boolean</a>, number, null, <a>list</a>, or <a>string</a>-keyed <a>map</a>
+|value|:
+
+<ol>
+ <li><p>Let |jsValue| be the result of
+ <a>converting an Infra value to a JSON-compatible JavaScript value</a>, given |value|.
+
+ <li>
+  <p>Return ! [$Call$](<a>%JSON.stringify%</a>, undefined, « |jsValue| »).
+
+  <p class=note>Since no additional arguments are passed to <a>%JSON.stringify%</a>, the resulting
+  string will have no whitespace inserted.
+</ol>
+
+<p>To <dfn export lt="serialize an Infra value to JSON bytes|serializing an Infra value to JSON bytes">serialize an Infra value to JSON bytes</dfn>,
+given a <a>string</a>, <a>boolean</a>, number, null, <a>list</a>, or <a>string</a>-keyed <a>map</a>
+|value|:
+
+<ol>
+ <li><p>Let |string| be the result of <a>serializing an Infra value to a JSON string</a>, given
+ |value|.
+
+ <li><p>Return the result of running <a>UTF-8 encode</a> on |string|. [[!ENCODING]]
+</ol>
+
+<p>To <dfn lt="convert an Infra value to a JSON-compatible JavaScript value|converting an Infra value to a JSON-compatible JavaScript value">convert an Infra value to a JSON-compatible JavaScript value</dfn>,
+given |value|:
+
+<ol>
+ <li><p>If |value| is a <a>string</a>, <a>boolean</a>, number, or null, then return |value|.
+
+ <li>
+  <p>If |value| is a <a>list</a>, then:
+
+  <ol>
+   <li><p>Let |jsValue| be ! [$ArrayCreate$](0).
+
+   <li><p>Let |i| be 0.
+
+   <li>
+    <p><a for=list>For each</a> |listItem| of |value|:
+
+    <ol>
+     <li><p>Let |listItemJSValue| be the result of
+     <a>converting an Infra value to a JSON-compatible JavaScript value</a>, given |listItem|.
+
+     <li><p>Perform ! [$CreateDataPropertyOrThrow$](|jsValue|, ! [$ToString$](|i|),
+     |listItemJSValue|).
+
+     <li><p>Set |i| to |i| + 1.
+    </ol>
+
+   <li><p>Return |jsValue|.
+  </ol>
+
+ <li><p>Assert: |value| is a <a>map</a>.
+
+ <li><p>Let |jsValue| be ! [$OrdinaryObjectCreate$](null).
+
+  <li>
+   <p><a for=list>For each</a> |mapKey| → |mapValue| of |value|:
+
+   <ol>
+    <li><p>Assert: |mapKey| is a <a>string</a>.
+
+    <li><p>Let |mapValueJSValue| be the result of
+    <a>converting an Infra value to a JSON-compatible JavaScript value</a>, given |mapValue|.
+
+    <li><p>Perform ! [$CreateDataPropertyOrThrow$](|jsValue|, |mapKey|, |mapValueJSValue|).
+   </ol>
+
+  <li><p>Return |jsValue|.
+ </ol>
+</ol>
+
 
 <h2 id=forgiving-base64>Forgiving base64</h2>