diff options
| author | Ben Smith <binji@chromium.org> | 2020-05-28 11:30:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-28 11:30:38 -0700 |
| commit | bf46c08b05fc6fcc457f1657e936fab24b4dceee (patch) | |
| tree | f57a19c670a3e222896c252c829d5eb5ec4db6d2 /test/gen-spec-wast.py | |
| parent | 0630dc53755678239d7609b61776b125221eefb8 (diff) | |
| download | wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.tar.gz wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.tar.bz2 wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.zip | |
Reference types changes to remove subtyping (#1407)
Main changes:
* Rename `anyref` -> `externref`
* Remove `nullref`
* Rename `hostref` -> `externref`
* `ref.null` and `ref.is_null` now have "ref kind" parameter
* Add ref kind keywords: `func`, `extern`, `exn`
Diffstat (limited to 'test/gen-spec-wast.py')
| -rwxr-xr-x | test/gen-spec-wast.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/gen-spec-wast.py b/test/gen-spec-wast.py index 648870b5..728d2214 100755 --- a/test/gen-spec-wast.py +++ b/test/gen-spec-wast.py @@ -198,10 +198,8 @@ class WastWriter(object): return F32ToWasm(int(value)) elif type_ == 'f64': return F64ToWasm(int(value)) - elif type_ == 'nullref': - return type_ - elif type_ == 'hostref': - return 'ref.host %s' % value + elif type_ == 'externref': + return 'ref.extern %s' % value elif type_ == 'funcref': return 'ref.func %s' % value else: |