Editorial: replace uses of the Type macro with is-a tests

[michaelficarra]

As of https://github.com/tc39/ecma262/pull/2874 (September 2022), ecma262 no longer uses the Type macro for simple type tests. We have replaced them with "x is a Y"-style notation. We also replaced most of the remaining uses of the Type macro with the new SameType AO in https://github.com/tc39/ecma262/pull/3408. It wasn't a problem that HTML continued to use the old-style Type checks until https://github.com/tc39/ecma262/pull/3420 which removes the final use of the Type macro and with it the Type macro itself.

This is the HTML integration, updating the type tests to the new form and allowing us to un-define the Type macro in ecma262.

/cc @syg @bakkot

---

/canvas.html ( diff ) /custom-elements.html ( diff ) /dom.html ( diff ) /infrastructure.html ( diff ) /structured-data.html ( diff )

[domenic]

Nice, thank you!

But, would you be willing to make these links, like they are in ecma262?

[bakkot]

This will need to be done for at least Streams as well, possibly other specs too.

[domenic]

Good point. Web IDL is the big one. (In theory Streams should be using more Web IDL to abstract away ES details; in practice it hasn't been updated yet.)

[michaelficarra]

@domenic I've added links. I'm not sure if you want undefined/null linked. I linked things in the way they are linked in ECMA-262, so no link for undefined/null and linking the whole text "is not an Object", etc.

[michaelficarra]

@domenic @bakkot I created PRs for Web IDL, Streams, Console, and Infra. Those were the only repos in the whatwg org that I could find with references to the old Type macro. PTAL and let me know if you find any others that need updating.