From 15cce94576557de13db6d855f8ac47a2a2b652be Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 17 Sep 2023 17:40:57 +0100 Subject: Check expression is tuple --- .../typechecker/TypeCheckerAssignTests.java | 25 +++++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) (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 20f3ef5d..b71db8f7 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java @@ -85,7 +85,7 @@ public class TypeCheckerAssignTests { )); var context = TypeCheckerContext.EMPTY .enterNamespace(P.map( - Map.entry("x", Variable.defined(tupleType, VariableType.VAR)) + Map.entry("x", Variable.defined(tupleType, VariableType.VAL)) )); var typed = typeCheckFunctionStatement(untyped, context); @@ -100,6 +100,29 @@ public class TypeCheckerAssignTests { )); } + @Test + public void givenExpressionIsNotTupleWhenTargetIsTupleThenErrorIsThrown() { + var untyped = Untyped.assign( + Untyped.targetTuple(List.of( + Untyped.targetVal("a"), + Untyped.targetVal("b") + )), + Untyped.reference("x") + ); + var context = TypeCheckerContext.EMPTY + .enterNamespace(P.map( + Map.entry("x", Variable.defined(Types.INT, VariableType.VAL)) + )); + + var error = assertThrows( + UnexpectedTypeError.class, + () -> typeCheckFunctionStatement(untyped, context) + ); + + assertThat(error.actual(), equalTo(Types.INT)); + assertThat(error.expected(), equalTo(TypeSets.TUPLE)); + } + private static TypeCheckerResult typeCheckFunctionStatement( UntypedFunctionStatementNode untyped, TypeCheckerContext context -- cgit v1.2.3