HTML integration for "Error Stack Accessor" TC39 Proposal

Replace the non-normative "should" language about serializing "interesting accompanying data" with normative steps that explicitly serialize and deserialize the stack trace of Error objects during structured cloning.

In StructuredSerializeInternal, the stack trace is obtained as an implementation-defined string and included in the serialized record as [[Stack]].

In StructuredDeserialize, the Error object is created with a [[Stack]] internal slot, which is set to an implementation-defined value representing the stack trace from the serialized record.
This ensures the Error.prototype.stack accessor continues to work properly on deserialized errors.

The bibliography is updated to reference both the Error Stack Accessor and Error Stacks proposals.

This is the HTML integration PR for tc39/proposal-error-stack-accessor.

See tc39/proposal-error-stack-accessor#9 and tc39/proposal-error-stack-accessor#8

Author: ljharb

source

@@ -10385,17 +10385,11 @@ interface <dfn interface>DOMStringList</dfn> {
      <span>IsDataDescriptor</span>(<var>valueMessageDesc</var>) is false, and
      ? <span>ToString</span>(<var>valueMessageDesc</var>.[[Value]]) otherwise.</p></li>
 
-     <li><p>Set <var>serialized</var> to { [[Type]]: "Error", [[Name]]: <var>name</var>,
-     [[Message]]: <var>message</var> }.</p></li>
-
-     <li>
-      <p>User agents should attach a serialized representation of any interesting accompanying
-      data which are not yet specified, notably the <code data-x="">stack</code> property, to
-      <var>serialized</var>.</p>
+     <li><p>Let <var>stack</var> be an implementation-defined string that represents the stack
+     trace of <var>value</var>. <ref>JSERRORSTACKACCESSOR</ref> <ref>JSERRORSTACKS</ref></p></li>
 
-      <p class="note">See the <cite>Error Stacks</cite> proposal for in-progress work on specifying
-      this data. <ref>JSERRORSTACKS</ref></p>
-     </li>
+     <li><p>Set <var>serialized</var> to { [[Type]]: "Error", [[Name]]: <var>name</var>,
+     [[Message]]: <var>message</var>, [[Stack]]: <var>stack</var> }.</p></li>
     </ol>
    </li>
 
@@ -10847,7 +10841,7 @@ o.myself = o;</code></pre>
      <li><p>Let <var>message</var> be <var>serialized</var>.[[Message]].</p></li>
 
      <li><p>Set <var>value</var> to <span>OrdinaryObjectCreate</span>(<var>prototype</var>, «
-     [[ErrorData]] »).</p></li>
+     [[ErrorData]], [[Stack]] »).</p></li>
 
      <li><p>Let <var>messageDesc</var> be <span>PropertyDescriptor</span> { [[Value]]:
      <var>message</var>, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true
@@ -10857,8 +10851,8 @@ o.myself = o;</code></pre>
      <span>OrdinaryDefineOwnProperty</span>(<var>value</var>, "<code data-x="">message</code>",
      <var>messageDesc</var>).</p></li>
 
-     <li><p>Any interesting accompanying data attached to <var>serialized</var> should be
-     deserialized and attached to <var>value</var>.</p></li>
+     <li><p>Set <var>value</var>.[[Stack]] to an implementation-defined value that represents
+     the stack trace serialized in <var>serialized</var>.[[Stack]].</p></li>
     </ol>
    </li>
 
@@ -156207,8 +156201,11 @@ INSERT INTERFACES HERE
    <dt id="refsJPEG">[JPEG]</dt>
    <dd><cite><a href="https://www.w3.org/Graphics/JPEG/jfif3.pdf">JPEG File Interchange Format</a></cite>, E. Hamilton.</dd>
 
+   <dt id="refsJSERRORSTACKACCESSOR">[JSERRORSTACKACCESSOR]</dt>
+   <dd><cite><a href="https://tc39.es/proposal-error-stack-accessor/">Error Stack Accessor</a></cite>. Ecma International.</dd>
+
    <dt id="refsJSERRORSTACKS">[JSERRORSTACKS]</dt>
-   <dd>(Non-normative) <cite><a href="https://tc39.es/proposal-error-stacks/">Error Stacks</a></cite>. Ecma International.</dd>
+   <dd><cite><a href="https://tc39.es/proposal-error-stacks/">Error Stacks</a></cite>. Ecma International.</dd>
 
    <dt id="refsJSDYNAMICCODEBRANDCHECKS">[JSDYNAMICCODEBRANDCHECKS]</dt>
    <dd><cite><a href="https://tc39.es/proposal-dynamic-code-brand-checks/">Dynamic code brand checks</a></cite>. Ecma International.</dd>