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 /docs/wast2json.md | |
| 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 'docs/wast2json.md')
| -rw-r--r-- | docs/wast2json.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/wast2json.md b/docs/wast2json.md index efd7f853..90fcd5ee 100644 --- a/docs/wast2json.md +++ b/docs/wast2json.md @@ -153,14 +153,14 @@ types are supported, with the given JSON format: | "f32" | `{"type": "f32", "value": <string>}` | | "f64" | `{"type": "f64", "value": <string>}` | -The `reference-types` proposal adds three more valid types: +The `reference-types` proposal adds three more valid types. In each case the +value can either be an integer or `"null"`: | type | JSON format | | - | - | -| "nullref" | `{"type": "nullref", "value": ""}` | -| "hostref" | `{"type": "hostref", "value": <string>}` | +| "externref" | `{"type": "externref", "value": <string>}` | | "funcref" | `{"type": "funcref", "value": <string>}` | - +| "exnref" | `{"type": "exnref", "value": <string>}` | The `simd` proposal adds another type, with a slightly different syntax. |