`MethodInfoKey` not defined in `Revise` for Julia v1.12 package

[kapple19]

Revise 3.9.0 loads in the v1.12 environment as per my startup.jl, and triggers the following:

[ Info: Precompiling Revise [295af30f-e4ad-537b-8983-00126c2a3abe] 
WARNING: Imported binding CodeTracking.MethodInfoKey was undeclared at import time during import to Revise.
WARNING: Imported binding JuliaInterpreter.Interpreter was undeclared at import time during 
import to Revise.
WARNING: Imported binding JuliaInterpreter.RecursiveInterpreter was undeclared at import time during import to Revise.
ERROR: LoadError: UndefVarError: `MethodInfoKey` not defined in `Revise`
Suggestion: this global was defined as `CodeTracking.MethodInfoKey` but not assigned a value.
Stacktrace:
  [1] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\lowered.jl:12
  [2] include(mapexpr::Function, mod::Module, _path::String)
    @ Base .\Base.jl:304
  [3] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\packagedef.jl:91
  [4] include(mapexpr::Function, mod::Module, _path::String)
    @ Base .\Base.jl:304
  [5] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\Revise.jl:45
  [6] include(mod::Module, _path::String)
    @ Base .\Base.jl:303
  [7] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base .\loading.jl:2991
  [8] top-level scope
    @ stdin:5
  [9] eval(m::Module, e::Any)
    @ Core .\boot.jl:489
 [10] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)    @ Base .\loading.jl:2837
 [11] include_string
    @ .\loading.jl:2847 [inlined]
 [12] exec_options(opts::Base.JLOptions)
    @ Base .\client.jl:319
 [13] _start()
    @ Base .\client.jl:554
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\lowered.jl:12  
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\packagedef.jl:91
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\Revise.jl:1    
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Revise [295af30f-e4ad-537b-8983-00126c2a3abe] to "C:\\Users\\T0185914\\.julia\\compiled\\v1.12\\Revise\\jl_1077.tmp".
Stacktrace:
  [1] error(s::String)
    @ Base .\error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, 
keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base .\loading.jl:3278
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base .\loading.jl:2647
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile C:\Users\T0185914\.julia\juliaup\julia-1.12.0-rc1+0.x64.w64.mingw32\share\julia\stdlib\v1.12\FileWatching\src\pidfile.jl:93
  [5] #mkpidlock#7
    @ C:\Users\T0185914\.julia\juliaup\julia-1.12.0-rc1+0.x64.w64.mingw32\share\julia\stdlib\v1.12\FileWatching\src\pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile C:\Users\T0185914\.julia\juliaup\julia-1.12.0-rc1+0.x64.w64.mingw32\share\julia\stdlib\v1.12\FileWatching\src\pidfile.jl:114
  [7] #invokelatest_gr#233
    @ .\reflection.jl:1282 [inlined]
  [8] invokelatest_gr
    @ .\reflection.jl:1274 [inlined]
  [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base .\loading.jl:3849
 [10] maybe_cachefile_lock
    @ .\loading.jl:3846 [inlined]
 [11] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base .\loading.jl:2633
 [12] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base .\loading.jl:2461
 [13] macro expansion
    @ .\loading.jl:2389 [inlined]
 [14] macro expansion
    @ .\lock.jl:376 [inlined]
 [15] __require(into::Module, mod::Symbol)
    @ Base .\loading.jl:2354
 [16] require(into::Module, mod::Symbol)
    @ Base .\loading.jl:2330
 [17] include(mod::Module, _path::String)
    @ Base .\Base.jl:303
 [18] load_julia_startup()
    @ Base .\client.jl:362
 [19] exec_options(opts::Base.JLOptions)
    @ Base .\client.jl:277
 [20] _start()
    @ Base .\client.jl:554
in expression starting at C:\Users\T0185914\.julia\config\startup.jl:6
[ Info: Precompiling Revise [295af30f-e4ad-537b-8983-00126c2a3abe] 
WARNING: Imported binding CodeTracking.MethodInfoKey was undeclared at import time during import to Revise.
WARNING: Imported binding JuliaInterpreter.Interpreter was undeclared at import time during 
import to Revise.
WARNING: Imported binding JuliaInterpreter.RecursiveInterpreter was undeclared at import time during import to Revise.
ERROR: LoadError: UndefVarError: `MethodInfoKey` not defined in `Revise`
Suggestion: this global was defined as `CodeTracking.MethodInfoKey` but not assigned a value.
Stacktrace:
  [1] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\lowered.jl:12
  [2] include(mapexpr::Function, mod::Module, _path::String)
    @ Base .\Base.jl:304
  [3] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\packagedef.jl:91
  [4] include(mapexpr::Function, mod::Module, _path::String)
    @ Base .\Base.jl:304
  [5] top-level scope
    @ C:\Users\T0185914\.julia\packages\Revise\9Foay\src\Revise.jl:45
  [6] include(mod::Module, _path::String)
    @ Base .\Base.jl:303
  [7] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String)
    @ Base .\loading.jl:2991
  [8] top-level scope
    @ stdin:5
  [9] eval(m::Module, e::Any)
    @ Core .\boot.jl:489
 [10] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)    @ Base .\loading.jl:2837
 [11] include_string
    @ .\loading.jl:2847 [inlined]
 [12] exec_options(opts::Base.JLOptions)
    @ Base .\client.jl:319
 [13] _start()
    @ Base .\client.jl:554
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\lowered.jl:12  
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\packagedef.jl:91
in expression starting at C:\Users\T0185914\.julia\packages\Revise\9Foay\src\Revise.jl:1    
in expression starting at stdin:5

What's going on here?

[serenity4]

At first glance, it looks like CodeTracking and JuliaInterpreter are instantiated with versions that are incompatible with Revise 3.9.0's compat bounds.

Are they up to date?

[kapple19]

Sorry, I forgot to provide the versions.

My error gets triggered with Revise@3.8.1

(@v1.12) pkg> st -m Revise CodeTracking
Status `C:\Users\T0185914\.julia\environments\v1.12\Manifest.toml`
  [da1fd8a2] CodeTracking v2.0.0
⌃ [295af30f] Revise v3.8.1 ⚲

and disappears with Revise@3.8.0.

(@v1.12) pkg> st -m Revise CodeTracking
Status `C:\Users\T0185914\.julia\environments\v1.12\Manifest.toml`
⌅ [da1fd8a2] CodeTracking v1.3.9
⌃ [295af30f] Revise v3.8.0 ⚲

so, as you suggested, there is a different version of CodeTracking that is used.
Are we able to retroactively fix the compat?

I'm not on Revise@3.9.0 because of the same error that CI caught
(https://github.com/timholy/Revise.jl/actions/runs/16939418543/job/48004167090#step:7:11546):

  Core.CodeInstance(def=getproperty(Module, Symbol) from getproperty(Module, Symbol), owner=nothing, next=#<null>, min_world=0x0000000000000268, max_world=0xffffffffffffffff, rettype=Any, exctype=Any, rettype_const=#<null>, inferred=nothing, debuginfo=#<null>, edges=svec(Core.Binding(globalref=Main.Base, value=#<null>, partitions=Core.BindingPartition(restriction=Base, min_world=0x0000000000000268, max_world=0xffffffffffffffff, next=Core.BindingPartition(restriction=Base, min_world=0x0000000000000000, max_world=0x0000000000000267, next=#<null>, kind=0x000000000000000b), kind=0x0000000000000000), backedges=Array{Any, 1}(dims=(36,), mem=Memory{Any}(42, 00007ffc4ada9830)[
  Core.CodeInstance(def=getproperty(Module, Symbol) from getproperty(Module, Symbol), owner=nothing, next=#<null>, min_world=0x0000000000000268, max_world=0xffffffffffffffff, rettype=Any, exctype=Any, rettype_const=#<null>, inferred=nothing, debuginfo=#<null>, edges=svec(Core.Binding(globalref=Main.Base, value=#<null>, partitions=Core.BindingPartition(restriction=Base, min_world=0x0000000000000268, max_world=0xffffffffffffffff, next=Warning: detected a stack overflow; program state may be corrupted, so further execution might be unreliable.
ERROR: LoadError: StackOverflowError:

[serenity4]

The compat entry for CodeTracking 2.0 was introduced with Revise 3.8.1:

Revise.jl/Project.toml

Line 24 in 158db18

CodeTracking = "2"

Therefore, the versions you see are correct and compatible with Revise. The error message you posted in the OP should not occur with CodeTracking 2.0, because 2.0 introduces MethodInfoKey. The only way I can explain this error is if you had an environment that had Revise 3.8.1+ in it, and CodeTracking < 2.0.

Does the error still occur for you or did it go away by re-resolving the environment?

[timholy]

This is surely JuliaLang/julia#35663