tc39 / ecmarkup

An HTML superset/Markdown subset source format for ECMAScript and related specifications
https://tc39.es/ecmarkup/
MIT License
221 stars 63 forks source link

handle ins/del in header return types #614

Open bakkot opened 2 months ago

bakkot commented 2 months ago

From https://github.com/tc39/ecmarkup/issues/609:

<emu-clause id="sec-foobar" type="abstract operation">
  <h1>
    FooBar (
      _v_: an ECMAScript language value,
    ): <ins>an integer</ins><del>either a normal completion containing an integer, or a throw completion</del>
  </h1>
  <dl class="header">
    <dt>description</dt>
    <dd></dd>
  </dl>
  <emu-alg>
    1. <del>Throw a *RangeError* exception.</del>
    1. Return 42.
  </emu-alg>
</emu-clause>

errors with

(file):5:23: unknown extra text in header