From a7108d4744d972886845690df7f66edb3b5d48ec Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 13:55:47 +0000 Subject: Add test for type-checking type param --- .../TypeCheckerTypeLevelParamTests.java | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTypeLevelParamTests.java (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTypeLevelParamTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTypeLevelParamTests.java new file mode 100644 index 00000000..08ba5d6b --- /dev/null +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTypeLevelParamTests.java @@ -0,0 +1,27 @@ +package org.shedlang.compiler.typechecker; + +import org.junit.jupiter.api.Test; +import org.shedlang.compiler.ast.untyped.Untyped; +import org.shedlang.compiler.types.NamespaceName; +import org.shedlang.compiler.types.Scope; +import org.shedlang.compiler.types.TypeParam; + +import static org.zwobble.precisely.AssertThat.assertThat; +import static org.zwobble.precisely.Matchers.equalTo; + +public class TypeCheckerTypeLevelParamTests { + private static final NamespaceName NAMESPACE_NAME = NamespaceName.of("Example"); + + @Test + public void canTypeCheckTypeParam() { + var untyped = Untyped.typeParam("T"); + var scope = new Scope.Function(NAMESPACE_NAME, "f"); + + var result = TypeChecker.typeCheckTypeLevelParam( + untyped, + scope + ); + + assertThat(result, equalTo(new TypeParam(scope, "T"))); + } +} -- cgit v1.2.3