Print `code_typed`-friendly signature for the current frame

[AayushSabharwal]

If Cthulhu gives some questionable results, it's often useful to confirm against code_typed. This can be difficult to do if the current frame is deep in the call stack and/or has many arguments/is a keyword call. For example, this signature came up from a keyword call in ModelingToolkit.jl

var"#System#536"(constraints, noise_eqs, jumps, costs, consolidate, observed, bindings, initial_conditions, guesses, systems, initialization_eqs, continuous_events, discrete_events, connector_type, assertions, metadata, gui_metadata, is_dde, tstops, inputs, outputs, tearing_state, ignored_connections, parent, description, name, discover_from_metadata, initializesystem, is_initializesystem, is_discrete, preface, checks, __legacy_defaults__, ::Type{System}, eqs::Vector{Equation}, iv, dvs, ps, brownians)

The above is the signature that Cthulhu prints for the method. Could there be an option to display code_typed-friendly syntax with fully-qualified types to allow copy-pasting it into code_typed?

[serenity4]

Do you mean in the body of the function? Otherwise, I believe we do print such a signature already, for the function being analyzed:

julia> @descend exp(4)
exp(x::Real) @ Base.Math math.jl:1543
[...]

[AayushSabharwal]

Does it perhaps skip printing the types if the signature is too long? Because I get

var"#System#536"(constraints, noise_eqs, jumps, costs, consolidate, observed, bindings, initial_conditions, guesses, systems, initialization_eqs, continuous_events, discrete_events, connector_type, assertions, metadata, gui_metadata, is_dde, tstops, inputs, outputs, tearing_state, ignored_connections, parent, description, name, discover_from_metadata, initializesystem, is_initializesystem, is_discrete, preface, checks, __legacy_defaults__, ::Type{System}, eqs::Vector{Equation}, iv, dvs, ps, brownians) @ ModelingToolkitBase ~/Julia/SciML/MTK-ap/lib/ModelingToolkitBase/src/systems/system.jl:376