diff options
Diffstat (limited to 'src/type-checker.cc')
-rw-r--r-- | src/type-checker.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index 581c035a..bc09c186 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -385,7 +385,7 @@ Result TypeChecker::OnBrIf(Index depth) { } Result TypeChecker::OnBrOnExn(Index depth, const TypeVector& types) { - Result result = PopAndCheck1Type(Type::ExceptRef, "br_on_exn"); + Result result = PopAndCheck1Type(Type::Exnref, "br_on_exn"); Label* label; CHECK_RESULT(GetLabel(depth, &label)); if (Failed(CheckTypes(types, label->br_types()))) { @@ -394,7 +394,7 @@ Result TypeChecker::OnBrOnExn(Index depth, const TypeVector& types) { TypesToString(types).c_str()); result = Result::Error; } - PushType(Type::ExceptRef); + PushType(Type::Exnref); return result; } @@ -481,7 +481,7 @@ Result TypeChecker::OnCatch() { ResetTypeStackToLabel(label); label->label_type = LabelType::Catch; label->unreachable = false; - PushType(Type::ExceptRef); + PushType(Type::Exnref); return result; } @@ -663,7 +663,7 @@ Result TypeChecker::OnRefIsNullExpr() { } Result TypeChecker::OnRethrow() { - Result result = PopAndCheck1Type(Type::ExceptRef, "rethrow"); + Result result = PopAndCheck1Type(Type::Exnref, "rethrow"); CHECK_RESULT(SetUnreachable()); return result; } |