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

Ouverte
  • Quelque chose ne va pas ?
#163 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

@jishnub y travaille déjà.

Depuis le 5/11/2026.

  • #164 par @jishnub — ouverte

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
25/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
À l'abandon
Stack technique
julia
Domaine
devtools

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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.

Langage dominant
Julia
Étoiles
150
Forks
12
Aucune PR mergée en 30 j

Préparer son environnement

Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de JuliaDebug/CodeTracking.jl

Toutes les issues de JuliaDebug/CodeTracking.jl

Issues similaires

Plus d'issues Julia

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.