[whatwg/webidl] Editorial: Define the WebIDL string types in terms of Infra types. (PR #1287)

This might be sufficient for #335, but I think it's useful for spec authors to go roughly this far even if there's more to do to completely fix that issue. 

cc/ @domfarolino 

- [ ] At least two implementers are interested (and none opposed):
   * …
   * …
- [ ] [Tests](https://github.com/web-platform-tests/wpt) are written and can be reviewed and commented upon at:
   * …
- [ ] [Implementation bugs](https://github.com/whatwg/meta/blob/main/MAINTAINERS.md#handling-pull-requests) are filed:
   * Chromium: …
   * Gecko: …
   * WebKit: …
   * Deno: …
   * Node.js: …
   * webidl2.js: …
   * widlparser: …
- [ ] [MDN issue](https://github.com/whatwg/meta/blob/main/MAINTAINERS.md#handling-pull-requests) is filed: …

(See [WHATWG Working Mode: Changes](https://whatwg.org/working-mode#changes) for more details.)

You can view, comment on, or merge this pull request online at:

  https://github.com/whatwg/webidl/pull/1287

-- Commit Summary --

  * Define the WebIDL string types in terms of Infra types.

-- File Changes --

    M index.bs (36)

-- Patch Links --

https://github.com/whatwg/webidl/pull/1287.patch
https://github.com/whatwg/webidl/pull/1287.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1287
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1287@github.com>