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 /src/type-checker.h | |
| 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 'src/type-checker.h')
| -rw-r--r-- | src/type-checker.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/type-checker.h b/src/type-checker.h index b59e5588..0b3560a9 100644 --- a/src/type-checker.h +++ b/src/type-checker.h @@ -109,8 +109,8 @@ class TypeChecker { Result OnTableSize(); Result OnTableFill(Type elem_type); Result OnRefFuncExpr(Index func_index); - Result OnRefNullExpr(); - Result OnRefIsNullExpr(); + Result OnRefNullExpr(Type type); + Result OnRefIsNullExpr(Type type); Result OnRethrow(); Result OnReturn(); Result OnSelect(Type expected); |