JuliaDebug/Cthulhu.jl

can't descend into opaque closures

开放

#162 创建于 2021年7月1日

 (0 条评论) (0 个反应) (0 位负责人)Julia (46 个派生)batch import
enhancementhelp wantedjulia features

仓库指标

星标
 (709 个星标)
PR 合并指标
 (30 天内没有已合并 PR)

描述

For example:

julia> descend(Base.Experimental.@opaque(() -> 1), Tuple{})
ERROR: no unique matching method found for the specified argument types
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:33
  [2] _which
    @ ./reflection.jl:1304 [inlined]
  [3] _which(tt::Type)
    @ Base ./reflection.jl:1298
  [4] get_specialization(TT::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:380
  [5] get_specialization(F::Any, TT::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:386
  [6] mkinterp(::Any, ::Vararg{Any})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:391
  [7] _descend(::Any, ::Vararg{Any}; params::Core.Compiler.NativeInterpreter, kwargs::Base.Pairs{Symbol, Bool, Tuple{Symbol}, NamedTuple{(:iswarn,), Tuple{Bool}}})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:397
  [8] _descend_with_error_handling(::Any, ::Vararg{Any}; kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:134
  [9] #descend_code_typed#47
    @ ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:106 [inlined]
 [10] descend_code_typed(f::Function, tt::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:106
 [11] top-level scope
    @ REPL[51]:1

贡献者指南