From bd52b8845aa8dcbecc8fc14d77a2bd4e64ad6e75 Mon Sep 17 00:00:00 2001 From: Ben Smith Date: Wed, 15 Jul 2020 16:39:52 -0700 Subject: Remove ref.is_null type parameter (#1474) See https://github.com/WebAssembly/reference-types/issues/99. This change also updates the testsuite, so the spec tests pass too. In addition, the behavior of `br_table` is no longer different from MVP, and has a text to confirm this. That is now fixed in `type-checker.cc` too. --- src/shared-validator.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/shared-validator.cc') diff --git a/src/shared-validator.cc b/src/shared-validator.cc index f4a7303e..8b6bef80 100644 --- a/src/shared-validator.cc +++ b/src/shared-validator.cc @@ -968,10 +968,10 @@ Result SharedValidator::OnRefFunc(const Location& loc, Var func_var) { return result; } -Result SharedValidator::OnRefIsNull(const Location& loc, Type type) { +Result SharedValidator::OnRefIsNull(const Location& loc) { Result result = Result::Ok; expr_loc_ = &loc; - result |= typechecker_.OnRefIsNullExpr(type); + result |= typechecker_.OnRefIsNullExpr(); return result; } -- cgit v1.2.3