definition(String, m) returns nothing for anonymous `function (…) … end` closures and for closure keyword-body methods

Aperta
  • Qualcosa non va?
#163 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

@jishnub ci sta già lavorando.

Dal 5/11/2026.

  • #164 di @jishnub — aperta

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
25/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Ferma
Stack tecnologico
julia
Ambito
devtools

Direzione di ricerca

Read the definition logic that walks back from m.line, then inspect is_func_expr and kwmethod_basename, the two failing paths described in the issue. Use the Julia reproducer to check anonymous function closures, arrow closures, and their keyword-body methods. Done means definition(String, m) returns a source for all six methods; pull request #164 is already open against this issue.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Disclosure: This issue is generated using Claude code

CodeTracking.definition(String, m) can't find the source of some anonymous closures. TypedSyntax relies on it, so Cthulhu shows no source for these methods. I've seen it on Julia 1.10.13, 1.12.4 and 1.13.3 with CodeTracking 3.0.2; master behaves the same.

Reproducer
using CodeTracking

function anon_function_kw(a)
    return identity(
        function (x::Vector{Float32}, i; k = a)
            return x[i] + k
        end
    )
end

function anon_function(a)
    return identity(
        function (x::Vector{Float32}, i)
            return x[i] + a
        end
    )
end

function arrow_kw(a)
    return identity(
        (x::Vector{Float32}, i; k = a) -> x[i] + k
    )
end

function arrow(a)
    return identity(
        (x::Vector{Float32}, i) -> x[i] + a
    )
end

found(m::Method) = definition(String, m) !== nothing

for make in (anon_function_kw, anon_function, arrow_kw, arrow)
    f = make(1.0f0)
    m = only(methods(f))
    line = rpad(string(nameof(make)), 18) * "positional: $(found(m))"
    if !isempty(Base.kwarg_decl(m))
        # the keyword-body function is the closure type's last parameter
        kb = only(methods(typeof(f).parameters[end].instance))
        line *= "   kwbody: $(found(kb))"
    end
    println(line)
end

Output (same on 1.10.13 and 1.13.3):

anon_function_kw  positional: false   kwbody: false
anon_function     positional: false
arrow_kw          positional: true   kwbody: false
arrow             positional: true

All six should be true.

Cause

definition steps back from m.line until is_func_expr(ex, m) accepts the parsed expression. That check fails in two independent ways:

A. function (args...) … end is never matched. For a :function expression, is_func_expr requires get_call_expr(ex.args[1]) to be a :call. In an anonymous function, the signature is a :tuple. Only the -> branch handles a tuple signature.

B. Closure keyword-body methods are never matched. The kwbody's argnames are [<own name>, :k, Symbol(""), :x, :i]: the keyword args first, then the closure object, then the positional args. Its signature is, for example, Tuple{var"#arrow_kw##2#arrow_kw##3", Any, var"#arrow_kw##0#arrow_kw##1", Vector{Float32}, Any}. kwmethod_basename locates the positional args by finding a parameter whose type name is #<basename>. For a closure none matches, so it returns idx == 0. Then the source's x is compared against :k and the match fails.

Lingua principale
Julia
Stelle
150
Fork
12
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di JuliaDebug/CodeTracking.jl

Tutte le issue di JuliaDebug/CodeTracking.jl

Issue simili

Altre issue su Julia

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.