From d81c270ad90334f47e39e2dd3b00d47796cdc348 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 3 Jan 2024 21:38:28 +0000 Subject: Explicitly group tests --- .../compiler/typechecker/TypeCheckerIsSubTypeTests.java | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java index bf04c4fd..88f93472 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java @@ -11,6 +11,8 @@ import static org.zwobble.precisely.AssertThat.assertThat; import static org.zwobble.precisely.Matchers.equalTo; public class TypeCheckerIsSubTypeTests { + // == General == + @Test public void typesAreSubTypesOfThemselves() { var namespaceName = NamespaceName.of("Example", "Project"); @@ -43,6 +45,8 @@ public class TypeCheckerIsSubTypeTests { ); } + // == Top type == + @Test public void topTypeIsSuperTypeOfAllTypes() { var namespaceName = NamespaceName.of("Example", "Project"); @@ -75,6 +79,8 @@ public class TypeCheckerIsSubTypeTests { ); } + // == Bottom type == + @Test public void bottomTypeIsSubTypeOfAllTypes() { var namespaceName = NamespaceName.of("Example", "Project"); @@ -107,6 +113,8 @@ public class TypeCheckerIsSubTypeTests { ); } + // == Sum types == + @Test public void variantIsSubTypeOfSumType() { var namespaceName = NamespaceName.of("Example", "Project"); @@ -226,6 +234,8 @@ public class TypeCheckerIsSubTypeTests { assertThat(isSubType(constructedSumType, variantType2, typeInfos), equalTo(false)); } + // == Function types == + @Test public void whenFunctionsHaveDifferentPositionalParamCountsThenTheyAreNotSubtypes() { var functionType1 = FunctionType.builder() -- cgit v1.2.3