Check call receiver is a function

1 files changed, 18 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerCallTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerCallTests.java
index 928ffa32..884a40c0 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerCallTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerCallTests.java
@@ -42,6 +42,24 @@ public class TypeCheckerCallTests {
     }
 
     @Test
+    public void whenReceiverIsNotFunctionThenErrorIsThrown() {
+        var untyped = Untyped.call(
+            Untyped.reference("f"),
+            List.of()
+        );
+        var context = TypeCheckerContext.EMPTY
+            .enter(P.map(Map.entry("f", Types.STRING)));
+
+        var error = assertThrows(
+            UnexpectedTypeError.class,
+            () -> TypeChecker.typeCheckExpression(untyped, context)
+        );
+
+        assertThat(error.expected(), equalTo(TypeSets.FUNCTION));
+        assertThat(error.actual(), equalTo(Types.STRING));
+    }
+
+    @Test
     public void positionalArgsAreTypedChecked() {
         var untyped = Untyped.call(
             Untyped.reference("f"),