From 365d53ad8a7bf21602e37970a34b2de116a794b2 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 16 Jun 2026 21:28:42 +0100
Subject: Type check imports

---
 .../zwobble/hobgoblin/compiler/typechecker/TypeChecker.java   | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/main')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index 4b718a2..77b46bc 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -19,6 +19,17 @@ public class TypeChecker {
     ) {
         var namespaceContext = context.enterNamespace(untyped.namespaceName());
 
+        for (var untypedImport : untyped.imports()) {
+            if (untypedImport.ancestorDepth().isPresent()) {
+                throw new UnsupportedOperationException("TODO: relative imports");
+            }
+
+            var importedNamespaceFields = context.namespaceFields(untypedImport.namespaceName());
+            for (var importedName : untypedImport.importedNames()) {
+                namespaceContext.define(importedName, importedNamespaceFields.get(importedName));
+            }
+        }
+
         var fields = new ArrayList<Field>();
         for (var untypedStatement : untyped.body()) {
             var type = declareNamespaceStatement(untypedStatement, namespaceContext);
-- 
cgit v1.2.3