oxinabox / MagneticReadHead.jl

A cassette-based debugger | The Other Debugger
MIT License
50 stars 6 forks source link

Difference between iron debugging and executing functions #34

Open KristofferC opened 5 years ago

KristofferC commented 5 years ago

Consider

function foo(x::T) where {T <: AbstractString, S <: AbstractString}
    return S
end

Executing it we get

julia> foo("hello")
ERROR: UndefVarError: S not defined
Stacktrace:
 [1] foo(::String) at /mnt/c/Users/Kristoffer/Debugging/file.jl:2
 [2] top-level scope at none:0

Iron debugging it we get:

julia> @iron_debug foo("test")
S<:AbstractString
KristofferC commented 5 years ago

Maybe this is just https://github.com/oxinabox/MagneticReadHead.jl/issues/20, but what's up with the printed S<:AbstractString?