From a409b4f6576980f876ec880ddf24dadc5d418c58 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 28 Sep 2023 11:48:37 +0100 Subject: Check struct type info is present --- .../typechecker/TypeCheckerFieldAccessTests.java | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java index 88ffa75a..7f8ad5fb 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java @@ -2,6 +2,7 @@ package org.shedlang.compiler.typechecker; import org.junit.jupiter.api.Test; import org.shedlang.compiler.ast.untyped.Untyped; +import org.shedlang.compiler.typechecker.errors.MissingStructTypeInfoError; import org.shedlang.compiler.typechecker.errors.NoSuchFieldError; import org.shedlang.compiler.types.NamespaceName; import org.shedlang.compiler.types.StructTypeInfo; @@ -73,4 +74,22 @@ public class TypeCheckerFieldAccessTests { assertThat(error.type(), equalTo(structType)); assertThat(error.fieldName(), equalTo("name")); } + + @Test + public void whenStructTypeInfoIsMissingThenErrorIsThrown() { + var untyped = Untyped.fieldAccess( + Untyped.reference("user"), + "name" + ); + var structType = Types.struct(NamespaceName.of("Example"), "User"); + var context = TypeCheckerContext.EMPTY + .enterGlobal(P.map(Map.entry("user", structType))); + + var error = assertThrows( + MissingStructTypeInfoError.class, + () -> TypeChecker.typeCheckExpression(untyped, context) + ); + + assertThat(error.type(), equalTo(structType)); + } } -- cgit v1.2.3