From 22302031d759d0c2af946af5ad192f578a3307d7 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 13 Jan 2024 17:24:43 +0000 Subject: Add missing type to TypeInfos.supertypes() --- .../compiler/typechecker/TypeInfosTests.java | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 src/test/java/org/shedlang/compiler/typechecker/TypeInfosTests.java (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeInfosTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeInfosTests.java new file mode 100644 index 00000000..3a84923d --- /dev/null +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeInfosTests.java @@ -0,0 +1,22 @@ +package org.shedlang.compiler.typechecker; + +import org.junit.jupiter.api.Test; +import org.shedlang.compiler.types.Types; + +import static org.zwobble.precisely.AssertThat.assertThat; +import static org.zwobble.precisely.Matchers.equalTo; +import static org.zwobble.precisely.Matchers.isSequence; + +public class TypeInfosTests { + @Test + public void supertypesOfTypeIncludeThatTypeAndTop() { + var typeInfos = TypeInfos.EMPTY; + + var supertypes = typeInfos.supertypes(Types.INT); + + assertThat(supertypes, isSequence( + equalTo(Types.INT), + equalTo(Types.TOP) + )); + } +} -- cgit v1.2.3