diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-06-13 23:43:42 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-06-13 23:43:42 +0100 |
| commit | f53ad99ff807ad0e8f04e365390828af2e9592d0 (patch) | |
| tree | 06a6e1228994668783fd1b4555f947a9ad54fa44 /src/test/java | |
| parent | b003b9c7bad4126d7963d1a28ef46faeab4b4b6e (diff) | |
Introduce NamespaceTypeInfo
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/typechecker/TypeCheckerNamespaceTests.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerNamespaceTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerNamespaceTests.java index bbc4947c..b9b6679c 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerNamespaceTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerNamespaceTests.java @@ -5,6 +5,7 @@ import org.shedlang.compiler.ast.untyped.Untyped; import org.shedlang.compiler.ast.untyped.UntypedFunctionDefinitionNode; import org.shedlang.compiler.types.FunctionType; import org.shedlang.compiler.types.NamespaceName; +import org.shedlang.compiler.types.NamespaceTypeInfo; import org.shedlang.compiler.types.Types; import org.shedlang.compiler.util.P; @@ -74,10 +75,10 @@ public class TypeCheckerNamespaceTests { var result = TypeChecker.typeCheckNamespace(untyped, context); assertThat( - result.context().namespaceFields().get(namespaceName), - equalTo(P.orderedMap( + result.context().namespaceTypeInfo().get(namespaceName), + equalTo(new NamespaceTypeInfo(P.orderedMap( Map.entry("f", new FunctionType(List.of(), List.of(), Types.UNIT)) - )) + ))) ); } } |
