[spec] Check and fix cross-references

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.

https://webassembly.github.io/spec/

Other

3.13k stars 445 forks source link

[spec] Check and fix cross-references #1746

Closed rossberg closed 5 months ago

rossberg commented 5 months ago

Since neither Sphinx nor MathJax provide any diagnostics for it, this PR adds a simple script to check that all xrefs in the macros.def file are well-defined — and fixes various definitions on the way.