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 摘要。