summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2021-06-15 00:07:55 -0400
committerGitHub <noreply@github.com>2021-06-15 00:07:55 -0400
commite0a8f40f65b178556f6fcbed778923a36dca64e3 (patch)
tree745c0eaa14e6d53c4be19a5095401bec2dd7c3c2 /src/wasm/wasm-validator.cpp
parentaec8d12282b5279b80e79f21d54491db5d55278e (diff)
downloadbinaryen-e0a8f40f65b178556f6fcbed778923a36dca64e3.tar.gz
binaryen-e0a8f40f65b178556f6fcbed778923a36dca64e3.tar.bz2
binaryen-e0a8f40f65b178556f6fcbed778923a36dca64e3.zip
Parsing and emitting nominal types (#3933)
Adds a `--nominal` option to switch the type machinery from equirecursive to nominal. Implements binary and text parsing and emitting of nominal types using new type constructor opcodes and an `(extends $super)` text syntax extension. When not in nominal mode, these extensions will still be parsed but will not have any effect and will not be used when emitting.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
0 files changed, 0 insertions, 0 deletions