summaryrefslogtreecommitdiff
path: root/src/type-checker.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/type-checker.cc')
-rw-r--r--src/type-checker.cc8
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;
}