From f650c01fea4d6116f5d8ed14a1b92c7bdab6697e Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 1 Oct 2023 22:04:15 +0100 Subject: Ensure variants are structs --- .../TypeCheckerSumTypeDefinitionTests.java | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java index f93cea14..ac96ca3d 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java @@ -4,6 +4,7 @@ import org.junit.jupiter.api.Test; import org.shedlang.compiler.ast.untyped.Untyped; import org.shedlang.compiler.ast.untyped.UntypedSumTypeDefinitionNode; import org.shedlang.compiler.typechecker.errors.CannotDefineSumTypeOutsideOfNamespace; +import org.shedlang.compiler.typechecker.errors.VariantTypeIsNotStructError; import org.shedlang.compiler.types.NamespaceName; import org.shedlang.compiler.types.Types; import org.shedlang.compiler.util.P; @@ -81,4 +82,23 @@ public class TypeCheckerSumTypeDefinitionTests { )) ); } + + @Test + public void whenVariantIsNotStructThenErrorIsThrown() { + var untyped = UntypedSumTypeDefinitionNode.builder() + .withName("ExampleSumType") + .addVariant(Untyped.typeLevelReference("String")) + .build(); + var context = TypeCheckerContext.EMPTY + .enterGlobal(P.map( + Map.entry("String", Types.metaType(Types.STRING)) + )); + + var error = assertThrows( + VariantTypeIsNotStructError.class, + () -> typeCheckNamespaceStatement(untyped, context) + ); + + assertThat(error.variantType(), equalTo(Types.STRING)); + } } -- cgit v1.2.3