diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-09-28 12:24:54 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-09-28 12:24:54 +0100 |
| commit | b964e7195924ce411471d680c0c4e521abbc690a (patch) | |
| tree | 51cfe5ec9470e10f9cc17c586d7dc4f2def3147a /src/main/java | |
| parent | b082c893fa9bd64a2312c502c758496734f5857e (diff) | |
Flip condition
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 15 |
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( |
