1 files changed, 29 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/errors/CircularNamespaceDependencyErrorTests.java b/src/test/java/org/shedlang/compiler/typechecker/errors/CircularNamespaceDependencyErrorTests.java
new file mode 100644
index 00000000..cb9ca0c1
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/typechecker/errors/CircularNamespaceDependencyErrorTests.java
@@ -0,0 +1,29 @@
+package org.shedlang.compiler.typechecker.errors;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.sources.Sources;
+import org.shedlang.compiler.types.NamespaceName;
+
+import java.util.List;
+
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class CircularNamespaceDependencyErrorTests {
+    @Test
+    public void messageIncludesCycle() {
+        var error = new CircularNamespaceDependencyError(
+            List.of(
+                NamespaceName.of("A"),
+                NamespaceName.of("B"),
+                NamespaceName.of("C"),
+                NamespaceName.of("A")
+            ),
+            Sources.NULL
+        );
+
+        var message = error.getMessage();
+
+        assertThat(message, equalTo("Cyclic namespace dependencies: A -> B -> C -> A"));
+    }
+}