diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-05-29 10:05:33 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-05-29 10:05:33 +0100 |
| commit | 8631c1eb72ff4673eb57b6fcd2cfced8435e3567 (patch) | |
| tree | 052ef038b5e8b3e52d040a84403c056a8ea1f6d8 /src/test/java/org/zwobble | |
| parent | b92f6a9f31e24aa48ad5328dba0abbbf6a576ec2 (diff) | |
Store variants bidirectionally
Diffstat (limited to 'src/test/java/org/zwobble')
| -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))); } } |