Claim slice 6b: language-neutral qualified-call resolver, Elixir and Clojure #390

Activity

1. joyful-ii-V-I commented on Oct 14, 2026

   

   joyful-ii-V-I

   on Oct 14, 2026

   Collaborator

   More actions

   @tag-und-nacht thank you, and confirmed: slice 6b is yours. #349 laid the groundwork: Clojure writes a generic Reference::qualifier from the parser's namespace field, and the str/join gap is pinned as an arm, not guarded locally. Slice 6a (the refusal) is ours and not yet scheduled. 6b does not have to wait for it. Leave the str/join arm as it is until 6a flips it.

   Where to start. ElixirResolver (src/elixir_resolve.h) has a Module::name table, Elixir-only fact readers (ElixirCallable/ElixirDefault/ElixirImport bindings, importsInForce), and an implicit-module fallback (Kernel). It has four consumers, and all of them must keep their output: buildGraph (graph.h), editcheck.h (the foldArity keying), mcpverbs.h and verbs_navigate.h. One possible seam:

   struct QualifiedCallLang {                 // per-language DATA, one constexpr row per Lang
       Lang lang; bool foldsArity; std::string_view implicitModule;   // "Kernel", "clojure.core"
   };
   struct QualifiedCallTable {                // shared; ElixirResolver becomes its first user
       QualifiedCallTable( const IngestResult&, std::span<const QualifiedCallLang> );
       void resolve( const Reference&, std::vector<NodeId>& out ) const;   // empty = refuse, counted
   };

   Elixir expands aliases at ingest (aliasInForce, ingest_elixir.h), so the qualifier already holds a module by the time the resolver sees it. Doing the same for Clojure keeps the shared table free of Lang:: branches.

   Pitfalls

   • A definition's namespace comes from the file's parsed (ns …) form, never from its path. Check whether Clojure symbols carry it today. A per-file module fact may be the first thing you need.
   • Aliases and requires: :as, :refer [..], :refer :all, :use, and require/alias outside ns. Pin each one you support. Anything else stays unresolved, and is counted, not laddered.
   • Labels come from parser nodes only. Namespaced keywords (::u/k, :a.b/k) are not calls. Interop like Math/abs names a class, so it resolves to nothing.
   • The implicit clojure.core row overlaps a shared builtin-name guard we plan separately: an unqualified (get m :a) binds an in-repo get, and Dart, Lua, Ruby and GDScript do the same. Please don't add a Clojure-only builtin list.

   Evidence we'll ask for. Red-first arms in clojurecheck, plus elixirnamearitycheck, elixircheck, resolverhonestycheck, editcheckcheck, rustqualcheck and stdqualcheck green. Provide byte identity as in "Definition of done" item 2: the Elixir fixtures plus one real Elixir repository, covering --callers/--callees/--impact/--edit-check, plus one untouched-language repository, with the argv list and an empty diff. Update the family-6 map row and the "No language-neutral qualified-call resolver exists yet" sentence.

   ❤️React with ❤️1Reacted by Oscar Vargas Torres