diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java index fdf88ee..51de6a4 100644 --- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java +++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java @@ -82,5 +82,6 @@ public class TypeCheckerSumDefinitionTests { var typesInfo = globalContext.toTypesInfo(); assertThat(typesInfo.variantOf(rectangleType), isSequence(equalTo(sumType))); assertThat(typesInfo.variantOf(triangleType), isSequence(equalTo(sumType))); + assertThat(typesInfo.variants(sumType), isSequence(equalTo(rectangleType), equalTo(triangleType))); } } |