aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-09-28 12:24:54 +0100
committerMichael Williamson <mike@zwobble.org>2023-09-28 12:24:54 +0100
commitb964e7195924ce411471d680c0c4e521abbc690a (patch)
tree51cfe5ec9470e10f9cc17c586d7dc4f2def3147a /src/main/java
parentb082c893fa9bd64a2312c502c758496734f5857e (diff)
Flip condition
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java15
1 files changed, 8 insertions, 7 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 626ca456..9cd5e616 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -310,15 +310,16 @@ public class TypeChecker {
}
private static FunctionType receiverTypeToFunctionType(TypedExpressionNode typedReceiver) {
- if (!(typedReceiver.type() instanceof FunctionType receiverType)) {
- throw new UnexpectedTypeError(
- TypeSets.FUNCTION,
- typedReceiver.type(),
- typedReceiver.source()
- );
+ if (typedReceiver.type() instanceof FunctionType receiverType) {
+ return receiverType;
}
- return receiverType;
+ throw new UnexpectedTypeError(
+ TypeSets.FUNCTION,
+ typedReceiver.type(),
+ typedReceiver.source()
+ );
+
}
private static TypeCheckerResult<TypedConditionalBranchNode> typeCheckConditionalBranch(