From f38d5b17426f7faca4793a52c0891227003fe93e Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 20 Dec 2023 19:05:13 +0000
Subject: Handle unknown namespaces

---
 .../typechecker/NamespaceDependencyLineariser.java     |  5 +++++
 .../typechecker/errors/UnknownNamespaceError.java      | 18 ++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 src/main/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceError.java

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java b/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java
index 1afeb258..8fa1876d 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/NamespaceDependencyLineariser.java
@@ -3,6 +3,7 @@ package org.shedlang.compiler.typechecker;
 import org.shedlang.compiler.ast.untyped.UntypedNamespaceNode;
 import org.shedlang.compiler.sources.Sources;
 import org.shedlang.compiler.typechecker.errors.CircularNamespaceDependencyError;
+import org.shedlang.compiler.typechecker.errors.UnknownNamespaceError;
 import org.shedlang.compiler.types.NamespaceName;
 
 import java.util.ArrayList;
@@ -41,6 +42,10 @@ public class NamespaceDependencyLineariser {
                     }
 
                     var untypedNamespaceNode = nodesByName.get(name);
+                    if (untypedNamespaceNode == null) {
+                        throw new UnknownNamespaceError(name, Sources.NULL);
+                    }
+
                     for (var import_ : untypedNamespaceNode.imports()) {
                         add(import_.namespaceName());
                     }
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceError.java b/src/main/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceError.java
new file mode 100644
index 00000000..ad598e2a
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceError.java
@@ -0,0 +1,18 @@
+package org.shedlang.compiler.typechecker.errors;
+
+import org.shedlang.compiler.errors.SourceError;
+import org.shedlang.compiler.sources.Source;
+import org.shedlang.compiler.types.NamespaceName;
+
+public class UnknownNamespaceError extends SourceError {
+    private final NamespaceName unknownNamespaceName;
+
+    public UnknownNamespaceError(NamespaceName unknownNamespaceName, Source source) {
+        super("Unknown namespace: " + unknownNamespaceName, source);
+        this.unknownNamespaceName = unknownNamespaceName;
+    }
+
+    public NamespaceName unknownNamespaceName() {
+        return unknownNamespaceName;
+    }
+}
-- 
cgit v1.2.3