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

未关闭
  • 哪里不对？
#163 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

@jishnub 已经在做这个了。

开始于 2026年11月5日。

  • #164 来自 @jishnub —— 未关闭

评估

难度
4/5
预计耗时
3-5 天
新手友好度
25/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
停滞
技术栈
julia
领域
devtools

调研方向

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.

由索引模型根据 Issue 内容生成。

描述

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.

主要语言
Julia
星标
150
派生
12
30 天内没有已合并 PR

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

JuliaDebug/CodeTracking.jl 的其他 Issue

查看 JuliaDebug/CodeTracking.jl 的全部 Issue

相似的 Issue

更多 Julia Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。