From b34eddba03641331bdaab43f8938fb16ba2af674 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 13 Jun 2023 20:13:13 +0100
Subject: Add NamespaceType

---
 src/main/java/org/shedlang/compiler/types/NamespaceType.java | 8 ++++++++
 src/main/java/org/shedlang/compiler/types/Type.java          | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 src/main/java/org/shedlang/compiler/types/NamespaceType.java

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/NamespaceType.java b/src/main/java/org/shedlang/compiler/types/NamespaceType.java
new file mode 100644
index 00000000..5c30be21
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/types/NamespaceType.java
@@ -0,0 +1,8 @@
+package org.shedlang.compiler.types;
+
+public record NamespaceType(NamespaceName namespaceName) implements Type {
+    @Override
+    public String describe() {
+        return namespaceName.toString();
+    }
+}
diff --git a/src/main/java/org/shedlang/compiler/types/Type.java b/src/main/java/org/shedlang/compiler/types/Type.java
index c4d86dda..5cb781a3 100644
--- a/src/main/java/org/shedlang/compiler/types/Type.java
+++ b/src/main/java/org/shedlang/compiler/types/Type.java
@@ -6,5 +6,5 @@ package org.shedlang.compiler.types;
  * found through auxiliary data.
  */
 public sealed interface Type extends TypeLevelValue
-    permits BoolType, FunctionType, IntType, StringType, TypeLevelValueType, UnitType {
+    permits BoolType, FunctionType, IntType, NamespaceType, StringType, TypeLevelValueType, UnitType {
 }
-- 
cgit v1.2.3