From 629382bf1172be2b0398fa1b65c1c46048c31af3 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Mon, 31 Jul 2023 23:06:58 +0100 Subject: Check assignment is to var --- .../compiler/typechecker/TypeCheckerAssignTests.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java index e3c819f5..c9d904c5 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java @@ -6,6 +6,7 @@ import org.shedlang.compiler.ast.typed.TypedNamespaceStatementNode; import org.shedlang.compiler.ast.untyped.Untyped; import org.shedlang.compiler.ast.untyped.UntypedFunctionStatementNode; import org.shedlang.compiler.ast.untyped.UntypedNamespaceStatementNode; +import org.shedlang.compiler.typechecker.errors.CanOnlyAssignToVarError; import org.shedlang.compiler.typechecker.errors.UnexpectedTypeError; import org.shedlang.compiler.typechecker.typesets.TypeSets; import org.shedlang.compiler.types.Types; @@ -52,6 +53,20 @@ public class TypeCheckerAssignTests { assertThat(error.actual(), equalTo(Types.STRING)); } + @Test + public void whenTargetIsNotVarThenErrorIsThrown() { + var untyped = Untyped.assign(Untyped.targetVariable("x"), Untyped.stringLiteral("hello")); + var context = TypeCheckerContext.EMPTY + .enterNamespace(P.map( + Map.entry("x", Variable.defined(Types.STRING, VariableType.VAL)) + )); + + assertThrows( + CanOnlyAssignToVarError.class, + () -> typeCheckFunctionStatement(untyped, context) + ); + } + private static TypeCheckerResult typeCheckFunctionStatement( UntypedFunctionStatementNode untyped, TypeCheckerContext context -- cgit v1.2.3