Add ConstructedType

1 files changed, 32 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java b/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java
new file mode 100644
index 00000000..9b875dce
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java
@@ -0,0 +1,32 @@
+package org.shedlang.compiler.types;
+
+import org.junit.jupiter.api.Test;
+
+import java.util.List;
+
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class ConstructedTypeTests {
+    @Test
+    public void descriptionIsNameOfTypePlusArgsInSquareBrackets() {
+        var structType = new StructType(
+            NamespaceName.of("Example", "Project"),
+            "Map"
+        );
+        var constructedType = new ConstructedType<>(
+            new TypeConstructor<>(
+                List.of(
+                    TypeParam.forStructType(structType, "K"),
+                    TypeParam.forStructType(structType, "V")
+                ),
+                structType
+            ),
+            List.of(Types.BOOL, Types.INT)
+        );
+
+        var result = constructedType.describe();
+
+        assertThat(result, equalTo("Map[Bool, Int]"));
+    }
+}