Package evaluation to test AtiyahBott on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T12:03:29.761 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.92s ################################################################################ # Installation # Installing AtiyahBott... Resolving package versions... Installed ArnoldiMethod ────── v0.4.0 Installed Combinatorics ────── v1.1.0 Installed OrderedCollections ─ v1.8.2 Installed Arb_jll ──────────── v200.2300.0+0 Installed Statistics ───────── v1.11.1 Installed DataStructures ───── v0.19.5 Installed MacroTools ───────── v0.5.16 Installed AtiyahBott ───────── v2.2.2 Installed Antic_jll ────────── v0.201.500+0 Installed ProgressMeter ────── v1.11.0 Installed FLINT_jll ────────── v200.900.9+0 Installed StaticArraysCore ─── v1.4.4 Installed SimpleTraits ─────── v0.9.6 Installed PrecompileTools ──── v1.3.4 Installed StaticArrays ─────── v1.9.18 Installed OpenBLAS32_jll ───── v0.3.33+1 Installed Calcium_jll ──────── v0.401.100+0 Installed AbstractAlgebra ──── v0.41.11 Installed RandomExtensions ─── v0.4.4 Installed JLLWrappers ──────── v1.8.0 Installed Inflate ──────────── v0.1.5 Installed Preferences ──────── v1.5.2 Installed Nemo ─────────────── v0.44.0 Installed Graphs ───────────── v1.14.0 Installing 5 artifacts Installed artifact Antic 229.9 KiB Installed artifact Calcium 1.5 MiB Installed artifact Arb 6.1 MiB Installed artifact OpenBLAS32 10.2 MiB Installed artifact FLINT 13.6 MiB Updating `~/.julia/environments/v1.14/Project.toml` [4bc0d046] + AtiyahBott v2.2.2 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.41.11 [ec485272] + ArnoldiMethod v0.4.0 [4bc0d046] + AtiyahBott v2.2.2 [861a8166] + Combinatorics v1.1.0 [864edb3b] + DataStructures v0.19.5 [86223c79] + Graphs v1.14.0 [d25df0c9] + Inflate v0.1.5 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 ⌅ [2edaba10] + Nemo v0.44.0 ⌅ [bac558e1] + OrderedCollections v1.8.2 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [699a6c99] + SimpleTraits v0.9.6 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [e21ec000] + Antic_jll v0.201.500+0 [d9960996] + Arb_jll v200.2300.0+0 [fcfa6d1b] + Calcium_jll v0.401.100+0 ⌅ [e134572f] + FLINT_jll v200.900.9+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.2+0 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.20.0+1 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [3a97d323] + MPFR_jll v4.2.2+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [458c3c95] + OpenSSL_jll v3.5.6+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 11.39s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 6.6 s ✓ TestEnv 1 dependency successfully precompiled in 7 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 4.9 s ✓ MacroTools 1.1 s ✓ Statistics 0.9 s ✓ StaticArraysCore 150.1 s ✓ OrderedCollections 2.5 s ✓ Combinatorics 0.9 s ✓ Inflate 82.6 s ✓ RandomExtensions 58.5 s ✓ ProgressMeter 2.9 s ✓ Preferences 3.1 s ✓ SimpleTraits 42.3 s ✓ Statistics → SparseArraysExt 168.6 s ✓ DataStructures 3.3 s ✓ JLLWrappers 3.2 s ✓ PrecompileTools WARNING: Constructor for type "Matrix" was extended in `AbstractAlgebra` without explicit qualification or import.  NOTE: Assumed "Matrix" refers to `Base.Matrix`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function Matrix end`.  Hint: To silence the warning, qualify `Matrix` as `Base.Matrix` in the method signature or explicitly `import Base: Matrix`. ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1356 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1357 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1358 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1359 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ C(x.v * m) │ end)) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl" │ line = 1354 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# - Found unexpected binding of kind static_parameter Expression:  #₃₄/T Containing expressions:  (= #₈₇/T #₃₄/T)  (call core.svec (call core.svec #₄₀/##->###24 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0)  (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0)  Detailed provenance:  #₃₄/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:273  [10] include(mod::Module, _path::String)  @ Base Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:521  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1354 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra 3.9 s ✓ OpenBLAS32_jll 342.5 s ✓ StaticArrays 3.7 s ✓ FLINT_jll 39.0 s ✓ StaticArrays → StaticArraysStatisticsExt 40.3 s ✓ ArnoldiMethod 3.7 s ✓ Antic_jll 3.6 s ✓ Arb_jll ┌ Info: JuliaLowering threw given input: │ code = │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =# Core.@doc " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" function karger_cut_cost(g::AbstractGraph{T}, cut::Vector{<:Integer}) where T <: Integer │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:48 =# │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ return count((e::Edge{T}->begin │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ cut[src(e)] != cut[dst(e)] │ end), edges(g)) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [macrocall] │ │ @doc :: Identifier │ mod │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) :: Value │ │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ │ [function] │ │ [where] │ │ [call] │ │ karger_cut_cost :: Identifier │ │ [::] │ │ g :: Identifier │ │ [curly] │ │ AbstractGraph :: Identifier │ │ T :: Identifier │ │ [::] │ │ cut :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ [<:] │ │ Integer :: Identifier │ │ [<:] │ │ T :: Identifier │ │ Integer :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ count :: Identifier │ │ [->] │ │ [::] │ │ e :: Identifier │ │ [curly] │ │ Edge :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ != :: Identifier │ │ [ref] │ │ cut :: Identifier │ │ [call] │ │ src :: Identifier │ │ e :: Identifier │ │ [ref] │ │ cut :: Identifier │ │ [call] │ │ dst :: Identifier │ │ e :: Identifier │ │ [call] │ │ edges :: Identifier │ │ g :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [block] │ │ [=] │ │ val :: Identifier │ scope_layer=3 │ [function] │ │ [where] │ │ [call] │ │ karger_cut_cost :: Identifier │ scope_layer=1 │ [::] │ │ g :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractGraph :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ cut :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ count :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ e :: Identifier │ scope_layer=1 │ [curly] │ │ Edge :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ != :: Identifier │ scope_layer=1 │ [ref] │ │ cut :: Identifier │ scope_layer=1 │ [call] │ │ src :: Identifier │ scope_layer=1 │ e :: Identifier │ scope_layer=1 │ [ref] │ │ cut :: Identifier │ scope_layer=1 │ [call] │ │ dst :: Identifier │ scope_layer=1 │ e :: Identifier │ scope_layer=1 │ [call] │ │ edges :: Identifier │ scope_layer=1 │ g :: Identifier │ scope_layer=1 │ [call] │ │ Base.Docs.doc! :: Value │ macro_source=48 │ Graphs :: Value │ macro_source=48 │ [call] │ │ Base.Docs.Binding :: Value │ macro_source=48 │ Graphs :: Value │ │ [inert] │ jl_source=L65 │ karger_cut_cost :: Identifier │ │ [call] │ macro_source=48 │ Base.Docs.docstr :: Value │ macro_source=48 │ [call] │ macro_source=48 │ Core.svec :: Value │ macro_source=48 │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ macro_source=48 │ [call] │ macro_source=48 │ Dict{Symbol, Any} :: Value │ macro_source=48 │ :path => "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" :: Value │ macro_source=48 │ :linenumber => 42 :: Value │ macro_source=48 │ :module => Graphs :: Value │ macro_source=48 │ [where] │ │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractGraph :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=3 │ │ file = "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" │ line = 42 └ mod = Graphs ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# - Found unexpected binding of kind static_parameter Expression:  #₁₆/T Containing expressions:  (= #₃₆/T #₁₆/T)  (call core.svec (call core.svec #₂₉/#karger_cut_cost##->###0 (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0)  (call core.svec (call core.svec (function_type #₁₇/#->#) (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0)  Detailed provenance:  #₁₆/T  └─ T  └─ T  ├─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49  └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" (function (where (call karger_cut_cost (:: g (curly AbstractGraph T)) (:: cut (curly Vector (<: Integer)))) (<: T Integer)) (block (return (call count (-> (:: e (curly Edge T)) (block (call != (ref cut (call src e)) (ref cut (call dst e))))) (call edges g))))))  └─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/Graphs/nH2e0/src/Graphs.jl:570  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/Graphs.jl:1 in expression starting at stdin:5 ✗ Graphs 3.9 s ✓ Calcium_jll ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Nemo/BBwWu/src/Nemo.jl:8  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Nemo/BBwWu/src/Nemo.jl:1 in expression starting at stdin:5 ✗ Nemo ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("86223c79-3864-5bf0-83f7-82e725a168b6"), "Graphs") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207  [12] top-level scope  @ ~/.julia/packages/AtiyahBott/ylyPY/src/AtiyahBott.jl:12  [13] include(mod::Module, _path::String)  @ Base Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:521  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AtiyahBott/ylyPY/src/AtiyahBott.jl:1 in expression starting at stdin:5 ✗ AtiyahBott 22 dependencies successfully precompiled in 1457 seconds. 35 already precompiled. Precompilation completed after 1493.98s ################################################################################ # Testing # Testing AtiyahBott Status `/tmp/jl_Zua9kT/Project.toml` [4bc0d046] AtiyahBott v2.2.2 [861a8166] Combinatorics v1.1.0 [86223c79] Graphs v1.14.0 ⌅ [2edaba10] Nemo v0.44.0 [92933f4c] ProgressMeter v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_Zua9kT/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.41.11 [ec485272] ArnoldiMethod v0.4.0 [4bc0d046] AtiyahBott v2.2.2 [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.5 [86223c79] Graphs v1.14.0 [d25df0c9] Inflate v0.1.5 [692b3bcd] JLLWrappers v1.8.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.44.0 ⌅ [bac558e1] OrderedCollections v1.8.2 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [699a6c99] SimpleTraits v0.9.6 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [e21ec000] Antic_jll v0.201.500+0 [d9960996] Arb_jll v200.2300.0+0 [fcfa6d1b] Calcium_jll v0.401.100+0 ⌅ [e134572f] FLINT_jll v200.900.9+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.2+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... WARNING: Constructor for type "Matrix" was extended in `AbstractAlgebra` without explicit qualification or import.  NOTE: Assumed "Matrix" refers to `Base.Matrix`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function Matrix end`.  Hint: To silence the warning, qualify `Matrix` as `Base.Matrix` in the method signature or explicitly `import Base: Matrix`. ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1356 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1357 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1358 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1359 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ C(x.v * m) │ end)) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl" │ line = 1354 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# - Found unexpected binding of kind static_parameter Expression:  #₃₄/T Containing expressions:  (= #₈₇/T #₃₄/T)  (call core.svec (call core.svec #₄₀/##->###24 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0)  (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0)  Detailed provenance:  #₃₄/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:273  [10] include(mod::Module, _path::String)  @ Base Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:521  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1354 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ┌ Info: JuliaLowering threw given input: │ code = │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =# Core.@doc " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" function karger_cut_cost(g::AbstractGraph{T}, cut::Vector{<:Integer}) where T <: Integer │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:48 =# │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ return count((e::Edge{T}->begin │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ cut[src(e)] != cut[dst(e)] │ end), edges(g)) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [macrocall] │ │ @doc :: Identifier │ mod │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) :: Value │ │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ │ [function] │ │ [where] │ │ [call] │ │ karger_cut_cost :: Identifier │ │ [::] │ │ g :: Identifier │ │ [curly] │ │ AbstractGraph :: Identifier │ │ T :: Identifier │ │ [::] │ │ cut :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ [<:] │ │ Integer :: Identifier │ │ [<:] │ │ T :: Identifier │ │ Integer :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ count :: Identifier │ │ [->] │ │ [::] │ │ e :: Identifier │ │ [curly] │ │ Edge :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ != :: Identifier │ │ [ref] │ │ cut :: Identifier │ │ [call] │ │ src :: Identifier │ │ e :: Identifier │ │ [ref] │ │ cut :: Identifier │ │ [call] │ │ dst :: Identifier │ │ e :: Identifier │ │ [call] │ │ edges :: Identifier │ │ g :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [block] │ │ [=] │ │ val :: Identifier │ scope_layer=3 │ [function] │ │ [where] │ │ [call] │ │ karger_cut_cost :: Identifier │ scope_layer=1 │ [::] │ │ g :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractGraph :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ cut :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ count :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ e :: Identifier │ scope_layer=1 │ [curly] │ │ Edge :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ != :: Identifier │ scope_layer=1 │ [ref] │ │ cut :: Identifier │ scope_layer=1 │ [call] │ │ src :: Identifier │ scope_layer=1 │ e :: Identifier │ scope_layer=1 │ [ref] │ │ cut :: Identifier │ scope_layer=1 │ [call] │ │ dst :: Identifier │ scope_layer=1 │ e :: Identifier │ scope_layer=1 │ [call] │ │ edges :: Identifier │ scope_layer=1 │ g :: Identifier │ scope_layer=1 │ [call] │ │ Base.Docs.doc! :: Value │ macro_source=48 │ Graphs :: Value │ macro_source=48 │ [call] │ │ Base.Docs.Binding :: Value │ macro_source=48 │ Graphs :: Value │ │ [inert] │ jl_source=L65 │ karger_cut_cost :: Identifier │ │ [call] │ macro_source=48 │ Base.Docs.docstr :: Value │ macro_source=48 │ [call] │ macro_source=48 │ Core.svec :: Value │ macro_source=48 │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ macro_source=48 │ [call] │ macro_source=48 │ Dict{Symbol, Any} :: Value │ macro_source=48 │ :path => "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" :: Value │ macro_source=48 │ :linenumber => 42 :: Value │ macro_source=48 │ :module => Graphs :: Value │ macro_source=48 │ [where] │ │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractGraph :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Integer :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=3 │ │ file = "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" │ line = 42 └ mod = Graphs ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# - Found unexpected binding of kind static_parameter Expression:  #₁₆/T Containing expressions:  (= #₃₆/T #₁₆/T)  (call core.svec (call core.svec #₂₉/#karger_cut_cost##->###0 (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0)  (call core.svec (call core.svec (function_type #₁₇/#->#) (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0)  Detailed provenance:  #₁₆/T  └─ T  └─ T  ├─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49  └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" (function (where (call karger_cut_cost (:: g (curly AbstractGraph T)) (:: cut (curly Vector (<: Integer)))) (<: T Integer)) (block (return (call count (-> (:: e (curly Edge T)) (block (call != (ref cut (call src e)) (ref cut (call dst e))))) (call edges g))))))  └─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/Graphs/nH2e0/src/Graphs.jl:570  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/Graphs.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Nemo/BBwWu/src/Nemo.jl:8  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Nemo/BBwWu/src/Nemo.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("86223c79-3864-5bf0-83f7-82e725a168b6"), "Graphs") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207  [12] top-level scope  @ ~/.julia/packages/AtiyahBott/ylyPY/src/AtiyahBott.jl:12  [13] include(mod::Module, _path::String)  @ Base Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:521  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AtiyahBott/ylyPY/src/AtiyahBott.jl:1 in expression starting at stdin:5 4 dependencies had output during precompilation: ┌ AbstractAlgebra │ WARNING: Constructor for type "Matrix" was extended in `AbstractAlgebra` without explicit qualification or import. │ NOTE: Assumed "Matrix" refers to `Base.Matrix`. This behavior is deprecated and may differ in future versions. │ NOTE: This behavior may have differed in Julia versions prior to 1.12. │ Hint: If you intended to create a new generic function of the same name, use `function Matrix end`. │ Hint: To silence the warning, qualify `Matrix` as `Base.Matrix` in the method signature or explicitly `import Base: Matrix`. │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1356 =# │ │ domain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1357 =# │ │ codomain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1358 =# │ │ matrix::AbstractAlgebra.MatElem{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1359 =# │ │ image_fn::Function │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1361 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# │ │ C(x.v * m) │ │ end)) │ │ end │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ RingElement :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ codomain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ matrix :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ image_fn :: Identifier │ │ │ Function :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ D :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ C :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ m :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ RingElement :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ │ │ [call] │ │ │ new :: Identifier │ │ │ D :: Identifier │ │ │ C :: Identifier │ │ │ m :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ scope_layer=1 │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ RingElement :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ codomain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ matrix :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ image_fn :: Identifier │ scope_layer=1 │ │ Function :: Identifier │ scope_layer=1 │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ D :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ C :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ m :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ RingElement :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ scope_layer=1 │ │ [call] │ │ │ new :: Identifier │ scope_layer=1 │ │ D :: Identifier │ scope_layer=1 │ │ C :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ scope_layer=1 │ │ │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl" │ │ line = 1354 │ └ mod = AbstractAlgebra.Generic │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 =# - Found unexpected binding of kind static_parameter │ Expression: │ #₃₄/T │ Containing expressions: │ (= #₈₇/T #₃₄/T) │ (call core.svec (call core.svec #₄₀/##->###24 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0) │ (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362:0) │ │ Detailed provenance: │ #₃₄/T │ └─ T │ └─ T │ └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1362 │ │ Stacktrace: │ [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091 │ [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156 │ [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251 │ [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [7] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:19 │ [8] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [9] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:273 │ [10] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3296 │ [12] top-level scope │ @ stdin:5 │ [13] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [15] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [16] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [17] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/generic/GenericTypes.jl:1354 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/Generic.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/QjFtH/src/AbstractAlgebra.jl:1 │ in expression starting at stdin:5 └ ┌ Graphs │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =# Core.@doc " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" function karger_cut_cost(g::AbstractGraph{T}, cut::Vector{<:Integer}) where T <: Integer │ │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:48 =# │ │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ │ return count((e::Edge{T}->begin │ │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# │ │ cut[src(e)] != cut[dst(e)] │ │ end), edges(g)) │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [macrocall] │ │ │ @doc :: Identifier │ mod │ │ :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) :: Value │ │ │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ karger_cut_cost :: Identifier │ │ │ [::] │ │ │ g :: Identifier │ │ │ [curly] │ │ │ AbstractGraph :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ cut :: Identifier │ │ │ [curly] │ │ │ Vector :: Identifier │ │ │ [<:] │ │ │ Integer :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ Integer :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ count :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ e :: Identifier │ │ │ [curly] │ │ │ Edge :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ != :: Identifier │ │ │ [ref] │ │ │ cut :: Identifier │ │ │ [call] │ │ │ src :: Identifier │ │ │ e :: Identifier │ │ │ [ref] │ │ │ cut :: Identifier │ │ │ [call] │ │ │ dst :: Identifier │ │ │ e :: Identifier │ │ │ [call] │ │ │ edges :: Identifier │ │ │ g :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [block] │ │ │ [=] │ │ │ val :: Identifier │ scope_layer=3 │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ karger_cut_cost :: Identifier │ scope_layer=1 │ │ [::] │ │ │ g :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ AbstractGraph :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ cut :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Vector :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ Integer :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ Integer :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ count :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ e :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Edge :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ != :: Identifier │ scope_layer=1 │ │ [ref] │ │ │ cut :: Identifier │ scope_layer=1 │ │ [call] │ │ │ src :: Identifier │ scope_layer=1 │ │ e :: Identifier │ scope_layer=1 │ │ [ref] │ │ │ cut :: Identifier │ scope_layer=1 │ │ [call] │ │ │ dst :: Identifier │ scope_layer=1 │ │ e :: Identifier │ scope_layer=1 │ │ [call] │ │ │ edges :: Identifier │ scope_layer=1 │ │ g :: Identifier │ scope_layer=1 │ │ [call] │ │ │ Base.Docs.doc! :: Value │ macro_source=48 │ │ Graphs :: Value │ macro_source=48 │ │ [call] │ │ │ Base.Docs.Binding :: Value │ macro_source=48 │ │ Graphs :: Value │ │ │ [inert] │ jl_source=L65 │ │ karger_cut_cost :: Identifier │ │ │ [call] │ macro_source=48 │ │ Base.Docs.docstr :: Value │ macro_source=48 │ │ [call] │ macro_source=48 │ │ Core.svec :: Value │ macro_source=48 │ │ " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" :: Value │ macro_source=48 │ │ [call] │ macro_source=48 │ │ Dict{Symbol, Any} :: Value │ macro_source=48 │ │ :path => "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" :: Value │ macro_source=48 │ │ :linenumber => 42 :: Value │ macro_source=48 │ │ :module => Graphs :: Value │ macro_source=48 │ │ [where] │ │ │ [curly] │ │ │ Union :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Tuple :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ AbstractGraph :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Vector :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ Integer :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Tuple :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ Integer :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=3 │ │ │ │ file = "/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl" │ │ line = 42 │ └ mod = Graphs │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 =# - Found unexpected binding of kind static_parameter │ Expression: │ #₁₆/T │ Containing expressions: │ (= #₃₆/T #₁₆/T) │ (call core.svec (call core.svec #₂₉/#karger_cut_cost##->###0 (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0) │ (call core.svec (call core.svec (function_type #₁₇/#->#) (call core.apply_type #₁₉/Edge #₁₆/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49:0) │ │ Detailed provenance: │ #₁₆/T │ └─ T │ └─ T │ ├─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:49 │ └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 =#) " karger_cut_cost(g, cut)\n\nFind the number of crossing edges in a cut of graph `g` where the cut is represented\nby the integer array, `cut`.\n" (function (where (call karger_cut_cost (:: g (curly AbstractGraph T)) (:: cut (curly Vector (<: Integer)))) (<: T Integer)) (block (return (call count (-> (:: e (curly Edge T)) (block (call != (ref cut (call src e)) (ref cut (call dst e))))) (call edges g)))))) │ └─ @ /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 │ │ Stacktrace: │ [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091 │ [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156 │ [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251 │ [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [7] top-level scope │ @ ~/.julia/packages/Graphs/nH2e0/src/Graphs.jl:570 │ [8] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3296 │ [10] top-level scope │ @ stdin:5 │ [11] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [13] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [14] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [15] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/graphcut/karger_min_cut.jl:42 │ in expression starting at /home/pkgeval/.julia/packages/Graphs/nH2e0/src/Graphs.jl:1 │ in expression starting at stdin:5 └ ┌ AtiyahBott │ [Output was shown above] └ ┌ Nemo │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) │ Stacktrace: │ [1] error(s::String) │ @ Base error.jl:56 │ [2] __require_prelocked(pkg::Base.PkgId, env::String) │ @ Base loading.jl:2837 │ [3] _require_prelocked(uuidkey::Base.PkgId, env::String) │ @ Base loading.jl:2685 │ [4] macro expansion │ @ loading.jl:2599 [inlined] │ [5] macro expansion │ @ lock.jl:376 [inlined] │ [6] __require(into::Module, mod::Symbol) │ @ Base loading.jl:2563 │ [7] require(into::Module, mod::Symbol) │ @ Base loading.jl:2539 [inlined] │ [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) │ @ Base module.jl:36 [inlined] │ [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/Nemo/BBwWu/src/Nemo.jl:8 │ [12] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3296 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [17] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [19] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/Nemo/BBwWu/src/Nemo.jl:1 │ in expression starting at stdin:5 └ ERROR: LoadError: The following 4 packages failed to precompile: AbstractAlgebra Failed to precompile AbstractAlgebra [c3fe647b-3220-5bb0-a1ea-a7954cac585d] to "/home/pkgeval/.julia/compiled/v1.14/AbstractAlgebra/jl_kcQ9BZ" (ProcessExited(1)). Graphs Failed to precompile Graphs [86223c79-3864-5bf0-83f7-82e725a168b6] to "/home/pkgeval/.julia/compiled/v1.14/Graphs/jl_XNxqAR" (ProcessExited(1)). AtiyahBott Failed to precompile AtiyahBott [4bc0d046-1179-4daa-900a-9bc021c7f891] to "/home/pkgeval/.julia/compiled/v1.14/AtiyahBott/jl_5NNrSL" (ProcessExited(1)). Nemo Failed to precompile Nemo [2edaba10-b0f1-5616-af89-8c11ac63239a] to "/home/pkgeval/.julia/compiled/v1.14/Nemo/jl_V4y6DI" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/AtiyahBott/ylyPY/test/runtests.jl:2 Testing failed after 617.49s ERROR: LoadError: Package AtiyahBott errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3247 [3] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:326 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 2165.88s: package fails to precompile