Importing JET fails on 1.13.0-alpha2

[ameligrana]

This is what happens when trying to import it:

julia> using JET
 │ Package JET not found, but a package named JET is available from a registry. 
 │ Install package?
 │   (@v1.13) pkg> add JET 
 └ (y/n/o) [y]: 
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package JET [c3a54625]:
 JET [c3a54625] log:
 ├─possible versions are: 0.0.1 - 0.11.3 or uninstalled
 ├─restricted to versions * by an explicit requirement, leaving only versions: 0.0.1 - 0.11.3
 └─restricted by julia compatibility requirements to versions: uninstalled — no versions left
Stacktrace:
   [1] propagate_constraints!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; log_events::Bool, err_msg_preamble::String)
     @ Pkg.Resolve ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Resolve/graphtype.jl:1194
 ┌ [2] propagate_constraints!
 │   @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Resolve/graphtype.jl:1111 [inlined]
 ╰──── repeated 2 times
   [4] simplify_graph!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; validate_versions::Bool)
     @ Pkg.Resolve ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Resolve/graphtype.jl:1718
 ┌ [5] simplify_graph!
 │   @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Resolve/graphtype.jl:1717 [inlined]
 ╰──── repeated 2 times
   [7] resolve_versions!(env::Pkg.Types.EnvCache, registries::Vector{…}, pkgs::Vector{…}, julia_version::VersionNumber, installed_only::Bool)
     @ Pkg.Operations ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:781
   [8] targeted_resolve
     @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2116 [inlined]
   [9] tiered_resolve(env::Pkg.Types.EnvCache, registries::Vector{…}, pkgs::Vector{…}, julia_version::VersionNumber, try_all_installed::Bool)
     @ Pkg.Operations ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2105
  [10] _resolve(io::IOContext{…}, env::Pkg.Types.EnvCache, registries::Vector{…}, pkgs::Vector{…}, preserve::Pkg.Types.PreserveLevel, julia_version::VersionNumber)
     @ Pkg.Operations ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2130
  [11] add(ctx::Pkg.Types.Context, pkgs::Vector{…}, new_git::Set{…}; allow_autoprecomp::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol)
     @ Pkg.Operations ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2243
  [12] add
     @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2192 [inlined]
  [13] add(ctx::Pkg.Types.Context, pkgs::Vector{…}; preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol, allow_autoprecomp::Bool, kwargs::@Kwargs{…})
     @ Pkg.API ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/API.jl:379
  [14] kwcall(::@NamedTuple{…}, ::typeof(Pkg.API.add), ctx::Pkg.Types.Context, pkgs::Vector{…})
     @ Pkg.API ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/API.jl:321
  [15] add(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{allow_autoprecomp::Bool})
     @ Pkg.API ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/API.jl:172
  [16] add(pkgs::Vector{String}; kwargs::@Kwargs{allow_autoprecomp::Bool})
     @ Pkg.API ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/API.jl:160
  [17] add
     @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/src/API.jl:160 [inlined]
  [18] try_prompt_pkg_add(pkgs::Vector{Symbol})
     @ REPLExt ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/Pkg/ext/REPLExt/REPLExt.jl:296
  [19] check_for_missing_packages_and_run_hooks(ast::Any)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:367
  [20] toplevel_eval_with_hooks(mod::Module, ast::Any, toplevel_file::Any, toplevel_line::Any)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:319
  [21] toplevel_eval_with_hooks(mod::Module, ast::Any, toplevel_file::Any, toplevel_line::Any)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:324
  [22] toplevel_eval_with_hooks
     @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:317 [inlined]
  [23] eval_user_input(ast::Any, backend::REPL.REPLBackend, mod::Module)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:342
  [24] repl_backend_loop(backend::REPL.REPLBackend, get_module::Function)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:469
  [25] start_repl_backend(backend::REPL.REPLBackend, consumer::Any; get_module::Function)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:444
  [26] start_repl_backend
     @ ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:441 [inlined]
  [27] run_repl(repl::REPL.AbstractREPL, consumer::Any; backend_on_current_task::Bool, backend::Any)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:690
  [28] run_repl(repl::REPL.AbstractREPL, consumer::Any)
     @ REPL ~/.julia/juliaup/julia-1.13.0-alpha2+0.x64.linux.gnu/share/julia/stdlib/v1.13/REPL/src/REPL.jl:676
  [29] run_std_repl(REPL::Module, quiet::Bool, banner::Symbol, history_file::Bool)
     @ Base ./client.jl:505
  [30] run_main_repl(interactive::Bool, quiet::Bool, banner::Symbol, history_file::Bool)
     @ Base ./client.jl:526
  [31] repl_main
     @ ./client.jl:618 [inlined]
  [32] _start()
     @ Base ./client.jl:588
Some type information was truncated. Use `show(err)` to see complete types.

[lgoettgens]

This seems to be due to JuliaRegistries/General#145354.

@aviatesk Is there a version that can be used with julia 1.13.0-nightly? Maybe the master branch?

[aviatesk]

I haven't started work on compatibility with 1.13 yet, so I don't know for sure. But if master doesn't work, then other versions probably won't work either.
However, if the General PR is causing issues with the installation of JET in pre and nightly versions, that should be fixed on the General side too.

There is code in JET prevents itself to be fully loaded on the nightly versions unless JET_DEV_MODE is enabled, but the intention is not to prohibit the installation itself. If that is happening, it's likely an issue with how compatibility is specified in General.

cc @ChrisRackauckas.

[ChrisRackauckas]

Is current master tested on pre? If so, if it's not failing, easiest thing may be to just cut a new version.

[lgoettgens]

The alternative would be to revert JuliaRegistries/General#145354 (at least the parts that are about julia 1.12)

[ChrisRackauckas]

I found out about these though because IIRC some stuff was failing on pre that didn't seem to make sense 😅 . So if there's bugfixes to v1.13- on master it should probably just be put out

[ChrisRackauckas]

Step one is to test it #797

[ChrisRackauckas]

It looks like prerelease fails in #797

[fingolfin]

JET needs to access deep innards of Julia. As a result, it usually does not work with Julia nightly and pre-releases. I am sure @aviatesk will eventually make it work with Julia 1.13.

We've had some internal discussions among Julia committers whether we could integrate JET into the Julia test suite; both to run JET on Julia itself (to prevent regressions), but also to run the JET test suite. That would then allow us to notice Julia PRs that break JET, and work on fixes right away, which should on the long run result in JET working in the above scenarios. But AFAIK so far this only was talk, nobody has done anything yet.

[devmotion]

IMO JuliaRegistries/General#145354 should be refined: It is fine if previous releases of JET are restricted to specific Julia versions but it should be possible to install at least the latest release with nightly and the latest Julia pre-releases. The problem is that otherwise it's impossible to add JET to the test environment (in [extras] in Project.toml or test/Project.toml) without tests on Julia pre and nightly (possibly trigered by PkgEval) erroring immediately due to the Pkg resolver not being able to find a compatible JET version. JET already has a default mechanism for only defining an empty stub on development versions of Julia (maybe that mechanism has to be refined for pre-releases, I haven't checked):

JET.jl/src/JET.jl

Line 11 in c6cb78e

const JET_LOADABLE = JET_DEV_MODE || PKG_EVAL || (get(VERSION.prerelease, 1, "") != "DEV")

As a package developer, skipping JET tests if only the empty module is loaded and/or on pre-releases seems easy whereas not being able to instantiate the test environment at all and having to deal with Pkg.add operations in the tests seems clumsy and inconvenient.