From 95f373076325515dbb3acfb7f9d39fecdd2cf9ef Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 10 Jun 2023 11:23:22 +0100 Subject: Check call receiver is a function --- .../compiler/typechecker/TypeCheckerCallTests.java | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'src/test/java') 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 @@ -41,6 +41,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( -- cgit v1.2.3