From 952f94104de76ee6a7250524c3881c20aefe150d Mon Sep 17 00:00:00 2001 From: Iain Buclaw Date: Sun, 17 Aug 2025 11:58:10 +0200 Subject: [PATCH] module: Add implementation defined note for imports A similar note exists for module declarations: Implementation Defined: The mapping of package and module identifiers to directory and file names. This adds an equivalent note about import name resolution. --- spec/module.dd | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/spec/module.dd b/spec/module.dd index e15539e596..57c66d88e6 100644 --- a/spec/module.dd +++ b/spec/module.dd @@ -228,6 +228,11 @@ $(P $(I ModuleFullyQualifiedName)s in the $(I ImportDeclaration) must be fully qualified with whatever packages they are in. They are not considered to be relative to the module that imports them.) + $(IMPLEMENTATION_DEFINED + $(LI How the compiler resolves the package and module identifiers in an + import declaration to its corresponding source files.) + )) + $(H3 $(LNAME2 name_lookup, Symbol Name Lookup)) $(P The simplest form of importing is to just list the modules being imported:)