diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-10-05 08:43:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-05 08:43:43 -0700 |
| commit | 6feb8838887d21f2412176f7fdc1ab68b0e5c23d (patch) | |
| tree | 94df602dc97e2e2e05d9896c0ffdfec2816786d0 /test/lit/passes/Oz.wast | |
| parent | 3ce1651ad239d017ced2caee6f4e78889b689d7d (diff) | |
| download | binaryen-6feb8838887d21f2412176f7fdc1ab68b0e5c23d.tar.gz binaryen-6feb8838887d21f2412176f7fdc1ab68b0e5c23d.tar.bz2 binaryen-6feb8838887d21f2412176f7fdc1ab68b0e5c23d.zip | |
Implement standalone nominal types (#4201)
These new nominal types do not depend on the global type sytem being changed
with the --nominal flag. Instead, they can coexist with the existing
equirecursive structural types, as required in the new milestone 4 spec. This PR
implements subtyping, upper bounding, canonicalizing, and other type operations
but using the new types in the parsers and elsewhere in Binaryen is left to a
follow-on PR.
Diffstat (limited to 'test/lit/passes/Oz.wast')
0 files changed, 0 insertions, 0 deletions