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

@@ -10423,17 +10423,17 @@ 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>Let <var>stack</var> be an <span>implementation-defined</span> string that
+     represents the stack trace of <var>value</var>. <ref>JSERRORSTACKACCESSOR</ref>
+     <ref>JSERRORSTACKS</ref></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>
 
-      <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>
 
@@ -10885,7 +10885,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
@@ -10895,6 +10895,9 @@ o.myself = o;</code></pre>
      <span>OrdinaryDefineOwnProperty</span>(<var>value</var>, "<code data-x="">message</code>",
      <var>messageDesc</var>).</p></li>
 
+     <li><p>Set <var>value</var>.[[Stack]] to an implementation-defined string that represents
+     the stack trace serialized in <var>serialized</var>.[[Stack]].</p></li>
+
      <li><p>Any interesting accompanying data attached to <var>serialized</var> should be
      deserialized and attached to <var>value</var>.</p></li>
     </ol>
@@ -157004,8 +157007,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>