From 643d339ade252af66259466d9a9f615760471fc1 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 28 Sep 2023 11:45:25 +0100 Subject: Check field exists on receiver type --- .../typechecker/TypeCheckerFieldAccessTests.java | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) (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 cb93f758..88ffa75a 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFieldAccessTests.java @@ -42,7 +42,7 @@ public class TypeCheckerFieldAccessTests { } @Test - public void whenReceiverIsNotStructTypeThenErrorIsReturned() { + public void whenReceiverIsNotStructTypeThenErrorIsThrown() { var untyped = Untyped.fieldAccess( Untyped.reference("user"), "name" @@ -55,4 +55,22 @@ public class TypeCheckerFieldAccessTests { assertThat(error.type(), equalTo(Types.STRING)); assertThat(error.fieldName(), equalTo("name")); } + + @Test + public void whenReceiverHasNoSuchFieldThenErrorIsThrown() { + var untyped = Untyped.fieldAccess( + Untyped.reference("user"), + "name" + ); + var structType = Types.struct(NamespaceName.of("Example"), "User"); + var structTypeInfo = new StructTypeInfo(P.orderedPMap(Map.entry("username", Types.STRING))); + var context = TypeCheckerContext.EMPTY + .enterGlobal(P.map(Map.entry("user", structType))) + .addStructTypeInfo(structType, structTypeInfo); + + var error = assertThrows(NoSuchFieldError.class, () -> TypeChecker.typeCheckExpression(untyped, context)); + + assertThat(error.type(), equalTo(structType)); + assertThat(error.fieldName(), equalTo("name")); + } } -- cgit v1.2.3