From 3fca8824b6ce6f7a654706d9d1c4fef537335a5e Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 24 Oct 2023 21:24:52 +0100 Subject: Type check positional params in function types --- .../typechecker/TypeCheckerFunctionTypeTests.java | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java index d1c7c2f2..2b212b4b 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java @@ -85,4 +85,32 @@ public class TypeCheckerFunctionTypeTests { )) ); } + + @Test + public void positionalParamsAreTypeChecked() { + var untyped = UntypedFunctionTypeNode.builder() + .addPositionalParam(Untyped.typeLevelReference("Int")) + .addPositionalParam(Untyped.typeLevelReference("Bool")) + .withReturnType(Untyped.typeLevelReference("String")) + .build(); + var context = TypeCheckerContext.EMPTY + .enterGlobal(P.map( + Map.entry("Bool", Types.metaType(Types.BOOL)), + Map.entry("Int", Types.metaType(Types.INT)), + Map.entry("String", Types.metaType(Types.STRING)) + )); + + var typed = TypeChecker.typeCheckTypeLevelExpression(TypeSets.META_TYPE, untyped, context); + + assertThat( + typed, + isTypedFunctionTypeNode(equalTo( + FunctionType.builder() + .addPositionalParam(Types.INT) + .addPositionalParam(Types.BOOL) + .withReturnType(Types.STRING) + .build() + )) + ); + } } -- cgit v1.2.3