[mparrett]

Fixes the lowered-Go half of #1045. Stacked on #1058 (base wt/aget-opcode), which fixed the bytecode half. It does not depend on #1058's code; it is stacked so the two halves of the issue review together.

intrinsic-builtin-op in build.lg required (nil? (namespace head)), so the core/< and core/inc that syntax-quote emits built as ordinary var calls, as did any explicit clojure.core/<. Under lg compile that turned the issue's qual loop and every dotimes counter into vm.Value locals with a cached-var trampoline per op.

The gate now accepts a qualified head on the same terms #1058 gave the bytecode gate. A qualified symbol cannot be shadowed by a local, so it skips that check and keeps the identity check: resolve of the head must be the clojure.core var of that name. That admits aliases and refuses a qualified head that names another namespace's inc, including through an alias named core. A core/ head that does not resolve falls back to the core var, the same fallback fastOpcodeCoreName has, so the two engines agree. The unqualified path is unchanged; it already did the identity check.

*ir-compile* builds bytecode from the same IR, so on that path qualified heads now get OP_ADD and the other fast opcodes too, as the plain compiler does after #1058.

Verified

qual now lowers like plain: j int64, acc int64, j < arg0, no CachedVarFn. New tests in lisp_lower_go_qualified_gate_test.go cover the repro spelled core/ and clojure.core/, an aliased head, a dotimes counter lowering to int64 through lower-ns-to-go (which macroexpands, as lg compile does), and a qualified non-core inc staying a call, directly and through an alias named core. The four positive tests fail with the old gate restored. pkg/vm, pkg/ir, pkg/compiler, pkg/genmanifest and pkg/rt/... pass; make generate and check-generated are clean; linux, js/wasm, plan9 and wasip1 build.

Not timed: the lowered loop has the same native locals and operators as plain, so the issue's plain numbers are the expectation.

🤖 Generated with Claude Code

[nooga]

Reviewed 3209553 against #1058. Qualified builtin detection retains the core Var identity check while accepting explicit core names and aliases, so syntax-quoted macro heads receive the same IR builtin operations as unqualified heads. A qualified non-core Var, including an alias named core, remains a call.

Local verification at this exact head: the complete VM, compiler, bytecode and IR package suites pass, including the qualified/aliased gate and dotimes lowering tests. make check-generated passes through full regeneration, committed-artifact comparison, and Go-lowered compilation/native dispatch. The array recur generated-Go probe also matches bytecode. No actionable finding; approving the delta. GitHub currently shows only skipped performance workflows on this head, so normal correctness CI should run before merging the stack.

[nnunley]

Approving. intrinsic-builtin-op now resolves a qualified head and compares it to the clojure.core var, so core/< from syntax-quote gets the builtin op and other/inc does not. I checked the alias-to-user-ns case (core aliased to a user ns stays a call) and the unqualified path is unchanged. Merge after #1058, which this stacks on.

[nooga]

Final head 9290428 matches the bytecode gate's core/ fallback; local suites and generated checks pass. Merge after #1058 — CI only runs fully once it's retargeted to main, so check it then.

[mparrett]

@nooga Thanks for the review! Merging.