Error in the keymap: bug in Debugger

General Usage
1

I just updated Julia on puma to 1.12.7, after updating kodkod to 1.12.7 with no problem. I then did instantiate, update, and resolve until it appeared to load a script without problem. I then ran cvtdeg("foo") (one of the functions in the script) and got an error as soon as I typed the right banana. I then typed sqrt(3) and got the same error:

julia> sqrt(3┌ Error: Error in the keymap
│   exception =
│    MethodError: no method matching edit_insert(::REPL.LineEdit.PromptState, ::REPL.LineEditREPL, ::String)
│    The function `edit_insert` exists, but no method is defined for this combination of argument types.
│    
│    Closest candidates are:
│      edit_insert(::REPL.LineEdit.MIState, ::Any...)
│       @ REPL ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:263
│      edit_insert(::REPL.LineEdit.PromptState, ::Union{Char, SubString{String}, String})
│       @ REPL ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:960
│      edit_insert(::IOBuffer, ::Union{Char, SubString{String}, String})
│       @ REPL ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:1034
│    
│    Stacktrace:
│     [1] edit_insert(::REPL.LineEdit.MIState, ::Any, ::Any)
│       @ REPL.LineEdit ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:265
│     [2] (::Debugger.var"#110#111"{typeof(REPL.LineEdit.edit_insert), REPL.LineEdit.Prompt})(::REPL.LineEdit.MIState, ::REPL.LineEditREPL, ::Vararg{Any})
│       @ Debugger ~/.julia/packages/Debugger/1HzXT/src/debugmode.jl:129
│     [3] (::REPL.LineEdit.var"#match_input##0#match_input##1"{Debugger.var"#110#111"{typeof(REPL.LineEdit.edit_insert), REPL.LineEdit.Prompt}, String})(s::Any, p::Any)
│       @ REPL.LineEdit ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:1810
│     [4] macro expansion
│       @ ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:2960 [inlined]
│     [5] macro expansion
│       @ ./lock.jl:376 [inlined]
│     [6] (::REPL.LineEdit.var"#prompt!##2#prompt!##3"{Base.Terminals.TTYTerminal, REPL.LineEdit.ModalInterface, REPL.LineEdit.MIState, REPL.LineEdit.Prompt})()
│       @ REPL.LineEdit ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:2949
└ @ REPL.LineEdit ~/.julia/juliaup/julia-1.12.7+0.x64.linux.gnu/share/julia/stdlib/v1.12/REPL/src/LineEdit.jl:2962
julia>

How do I fix this?

2

Going back to 1.12.6 didn’t help.

3

Tried typing ) by itself and got debug>. Typing ) on kodkod gives ) as expected. But on kodkod, I’m running a program I’m developing in a module, not this script.

4

Ran the script on kodkod, typed ), and got debug>. Looks like it’s a bug in Debugger.

5

On puma, commented out using Debugger in startup.jl and ran the script again. Typed ), got ).