From b964e7195924ce411471d680c0c4e521abbc690a Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 28 Sep 2023 12:24:54 +0100
Subject: Flip condition

---
 .../org/shedlang/compiler/typechecker/TypeChecker.java    | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'src/main/java')

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(
-- 
cgit v1.2.3