julia> using LinearAlgebra
julia> U = UpperTriangular(rand(Int,2,2)); S = Symmetric(rand(Int,2,2)); C = similar(U, size(U));
julia> f(C, U, S) =LinearAlgebra.generic_mattrimul!(C, 'U', 'N', identity, S, U);
julia> @descend f(C, U, S);
f(C, U, S) @ Main REPL[3]:1
1 f(C::Matrix{Int64}, U::UpperTriangular{Int64, Matrix{Int64}}, S::Symmetric{Int64, Matrix{Int64}})::Matrix{Int64} =LinearAlgebra.generic_mattrimul!(C::Matrix{Int64}, 'U', 'N', identity::Core.Const(identity), S::Symmetric{Int64, Matrix{Int64}}, U::UpperTriangular{Int64, Matrix{Int64}})
Select a call to descend into or ↩ to ascend. [q]uit. [b]ookmark.
Toggles: [w]arn, [h]ide type-stable statements, [t]ype annotations, [s]yntax highlight for Source/LLVM/Native, [j]ump to source always.
Show: [S]ource code, [A]ST, [T]yped code, [L]LVM IR, [N]ative code
Actions: [E]dit source code, [R]evise and redisplay
• LinearAlgebra.generic_mattrimul!(C::Matrix{Int64}, 'U', 'N', identity::Core.Const(identity), S::Symmetric{Int64, Matrix{Int64}}, U::UpperTriangular{Int64, Matrix{Int64}})
↩
[ Info: tracking LinearAlgebra
ERROR: FieldError: type SemiConcreteResult has no field `mi`, available fields: `edge`, `ir`, `effects`, `spec_info`
Stacktrace:
[1] getproperty
@ ./Base.jl:54 [inlined]
[2] process_const_info(interp::Cthulhu.CthulhuInterpreter, thisinfo::Any, argtypes::Vector{Any}, rt::Any, result::Any, optimize::Bool, exct::Any)
@ Cthulhu ~/.julia/packages/Cthulhu/GaSLZ/src/reflection.jl:149
[3] process_info(interp::Cthulhu.CthulhuInterpreter, info::Core.Compiler.CallInfo, argtypes::Vector{Any}, rt::Any, optimize::Bool, exct::Any)
@ Cthulhu ~/.julia/packages/Cthulhu/GaSLZ/src/reflection.jl:203
[4] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/reflection.jl:64
[5] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:559
[6] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:460
[7] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:710
[8] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:460
[9] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:863
[10] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:863
[11] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:879
[12] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:876
[13] __descend_with_error_handling(args::Any; terminal::Any, kwargs...)
@ Cthulhu ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:263
[14] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:260
[15] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:252
[16] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:244
[17] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:306
[18] top-level scope
@ ~/.julia/packages/Cthulhu/GaSLZ/src/Cthulhu.jl:306
[19] top-level scope
@ REPL[5]:1
julia> versioninfo()
Julia Version 1.12.0-DEV.1542
Commit fe67097b0d2 (2024-11-02 14:48 UTC)
Build Info:
Official https://julialang.org release
Platform Info:
OS: Linux (x86_64-linux-gnu)
CPU: 8 × Intel(R) Core(TM) i5-10310U CPU @ 1.70GHz
WORD_SIZE: 64
LLVM: libLLVM-18.1.7 (ORCJIT, skylake)
Threads: 1 default, 0 interactive, 1 GC (on 8 virtual cores)
Environment:
JULIA_EDITOR = subl
(@v1.12) pkg> st -m Cthulhu
Status `~/.julia/environments/v1.12/Manifest.toml`
[f68482b8] Cthulhu v2.15.2
(@v1.12) pkg> st -m TypedSyntax
Status `~/.julia/environments/v1.12/Manifest.toml`
[d265eb64] TypedSyntax v1.4.2
