module style 2: Isolate the module resolver and start being able to test it independently of module style, which requires more changes

[prozacchiwawa]

Note

Medium Risk
Introduces new namespace/import parsing and a new resolution pass that rewrites helper references, which can change name binding and helper selection during compilation. Risk is moderate because it touches frontend parsing/tree-shaking and adds substantial new resolution logic with new error paths.

Overview
Adds module-style plumbing by introducing new HelperForm variants for (namespace ...) and (import ...), plus supporting types to parse dotted ImportLongNames and import specs (qualified, exposing, hiding, and as renames).

Implements a new compiler::resolve pass (resolve_namespaces) that walks expressions/helpers, resolves referenced helpers through active imports, rewrites calls to fully-qualified names, and pulls in the required helper definitions; classic defmacro usage is rejected in this module-style resolver path.

Updates the frontend to parse namespace/import, be more tolerant via helper-head atomize(), and to keep namespace declarations during live-helper filtering; updates rename logic to handle namespace containers; exports codegen and makes do_desugar/is_at_capture public; adds targeted resolver tests under src/tests/compiler/resolve.rs.

^{Reviewed by Cursor Bugbot for commit d3f062c. Bugbot is set up for automated code reviews on this repo. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

Bugbot Autofix prepared a fix for the issue found in the latest run.

• ✅ Fixed: Qualified name lookup skips parent namespace check
  • Added a parent-namespace compatibility guard in the direct helper-match loop so qualified names no longer resolve to unrelated local helpers.

Or push these changes by commenting:

@cursor push eb283ac921

Preview (eb283ac921)

diff --git a/src/compiler/resolve.rs b/src/compiler/resolve.rs
--- a/src/compiler/resolve.rs
+++ b/src/compiler/resolve.rs
@@ -170,7 +170,8 @@
     // check the matching namespace to the one specified to see if we can find the
     // target.
     for h in home_ns.iter() {
-        if h.helper.name() == &child
+        if (parent.is_none() || parent.as_ref() == parent_ns)
+            && h.helper.name() == &child
             && !matches!(
                 h.helper,
                 HelperForm::Defnsref(_) | HelperForm::Defnamespace(_)

_{This Bugbot Autofix run was free. To enable autofix for future PRs, go to the Cursor dashboard.}