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

Aberta
  • Algo errado?
#163 0 comentários 0 reações 0 responsáveis Ver no GitHub

@jishnub já está trabalhando nisso.

Desde 5/11/2026.

  • #164 de @jishnub — aberto

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
25/100
Tipo de issue
Bug
Clareza
Claramente especificada
Status de atividade
Estagnada
Stack de tecnologia
julia
Domínio
devtools

Direção de pesquisa

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.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

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.

Linguagem predominante
Julia
Estrelas
150
Forks
12
Nenhum PR com merge em 30d

Preparar o ambiente

Este projeto não oferece contêiner de desenvolvimento, Dockerfile nem guia de contribuição, então a configuração fica por sua conta: comece pelo README e veja nosso guia da primeira contribuição para os passos gerais.

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de JuliaDebug/CodeTracking.jl

Todas as issues de JuliaDebug/CodeTracking.jl

Issues semelhantes

Mais issues de Julia

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.