Package evaluation to test MathematicalPredicates on Julia 1.14.0-DEV.2226 (797a5ef2b0*) started at 2026-05-23T16:55:01.945 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.79s ################################################################################ # Installation # Installing MathematicalPredicates... Resolving package versions... Installed Requires ─────────────── v1.3.1 Installed MathematicalPredicates ─ v0.1.1 Updating `~/.julia/environments/v1.14/Project.toml` [d92ed5c0] + MathematicalPredicates v0.1.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [d92ed5c0] + MathematicalPredicates v0.1.1 [ae029012] + Requires v1.3.1 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [cf7118a7] + UUIDs v1.11.0 Installation completed after 1.67s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 5.7 s ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... ┌ Info: JuliaLowering threw given input: │ code = │ :(function destruct_key(pat, val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# @match pat begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:28 =# │ _Symbol => destruct_key($(Expr(:quote, :($(Expr(:$, :pat)) = $(Expr(:$, :(Expr(:quote, pat))))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:29 =# │ x_Symbol || y_ => destruct_key($(Expr(:quote, :($(Expr(:$, :x)) = $(Expr(:$, :(Expr(:quote, x)))) || $(Expr(:$, :y))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:30 =# │ (x_ = y_) => destructm(x, destruct_key(y, val, getm)) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:31 =# │ x_ || y_ => getm(val, x, y) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ _ => atoms((i->begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ getm(val, i) │ end), pat) │ 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__ │ [function] │ │ [call] │ │ destruct_key :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [block] │ │ [macrocall] │ │ @match :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) :: Value │ │ pat :: Identifier │ │ [block] │ │ [call] │ │ => :: Identifier │ │ _Symbol :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_Symbol :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destructm :: Identifier │ │ x :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ x :: Identifier │ │ y :: Identifier │ │ [call] │ │ => :: Identifier │ │ _ :: Identifier │ │ [call] │ │ atoms :: Identifier │ │ [->] │ │ i :: Identifier │ │ [block] │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ i :: Identifier │ │ pat :: 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 │ [function] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ ex :: Identifier │ scope_layer=2 │ pat :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ [tuple] │ jl_source=L31 │ pat :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ y_ :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ [tuple] │ jl_source=L31 │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destructm :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ _ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ atoms :: Identifier │ scope_layer=1 │ [->] │ │ i :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ i :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ [block] │ macro_source=85 │ nothing :: Value │ macro_source=85 │ │ file = "/home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl" │ line = 26 └ mod = MacroTools ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29 =# - Invalid assignment location in let syntax Expression:  Containing expressions:  (let (block (= env env) (= (call get env : nothing))) (block (block (call destruct_key (call Base.JuliaLowering.interpolate_ast Expr (inert (= ($ pat) ($ (call Expr (inert quote) pat)))) (tuple pat) (tuple (call Expr :quote pat))) val getm))))  Detailed provenance:   └─  └─  ├─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29  └─ (macrocall @match :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) pat (block (call => _Symbol (call destruct_key (quote (= ($ pat) ($ (call Expr (inert quote) pat)))) val getm)) (call => (|| x_Symbol y_) (call destruct_key (quote (= ($ x) (|| ($ (call Expr (inert quote) x)) ($ y)))) val getm)) (call => (= x_ y_) (call destructm x (call destruct_key y val getm))) (call => (|| x_ y_) (call getm val x y)) (call => _ (call atoms (-> i (block (call getm val i))) pat))))  └─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27  Stacktrace:  [1] expand_let(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:1561  [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4293  [3] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [5] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [6] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [7] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [8] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, exs::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4447  [9] getindex(ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, i::Int64)  @ Base.JuliaSyntax /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [10] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4288  [11] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [12] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [14] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [15] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [16] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [17] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [18] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [19] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [20] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [21] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [22] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [23] _node_id(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [24] _push_nodeid!(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ids::Vector{Int64}, val::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/ast.jl:288 [inlined]  [25] method_def_expr(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, mtable::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sparams::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, argl::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2419  [26] (::Colon)(start::Int64, stop::Int64)  @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [27] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2873  [28] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268  [29] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [30] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469  [31] 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:30  [32] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [33] top-level scope  @ ~/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:13  [34] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [35] 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:3271  [36] top-level scope  @ stdin:5  [37] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [38] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [39] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [40] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [41] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:1 in expression starting at stdin:5 ✗ MacroTools 0.5 s ✓ Reexport 2.2 s ✓ IrrationalConstants 0.6 s ✓ SetRounding 0.9 s ✓ StaticArraysCore 148.4 s ✓ OrderedCollections 1.0 s ✓ DocStringExtensions 0.7 s ✓ RoundingEmulator 0.8 s ✓ EnumX 0.7 s ✓ ExprTools 56.7 s ✓ TranscodingStreams 0.7 s ✓ ErrorfreeArithmetic 1.1 s ✓ Requires 1.2 s ✓ NaNMath 2.6 s ✓ StructUtils 1.4 s ✓ Compat 2.4 s ✓ Preferences 127.0 s ✓ MutableArithmetics ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("1914dd2f-81c6-5fcd-8719-6d5c9610ff09"), "MacroTools") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base ./module.jl:101  [11] eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [12] top-level scope  @ ~/.julia/packages/CommonSubexpressions/nws5L/src/CommonSubexpressions.jl:3  [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:3271  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [18] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/CommonSubexpressions/nws5L/src/CommonSubexpressions.jl:1 in expression starting at stdin:5 ✗ CommonSubexpressions 0.8 s ✓ DiffResults 1.6 s ✓ LogExpFunctions 20.7 s ✓ CodecZlib 72.4 s ✓ FastRounding ┌ Info: JuliaLowering threw given input: │ code = │ :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =# Core.@doc " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" struct Conjunction{N, VT <: AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N} │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:11 =# │ conjuncts::VT │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# │ function Conjunction(conjuncts::VT; N::Int = maximum([length(v) for (p, v) = conjuncts])) where VT <: AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}} │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:16 =# │ return new{Val{N}, VT}(conjuncts) │ 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__ │ [macrocall] │ │ @doc :: Identifier │ mod │ :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =#) :: Value │ │ " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" :: Value │ │ [struct] │ │ false :: Value │ │ [<:] │ │ [curly] │ │ Conjunction :: Identifier │ │ N :: Identifier │ │ [<:] │ │ VT :: Identifier │ │ [curly] │ │ AbstractVector :: Identifier │ │ [<:] │ │ [curly] │ │ Tuple :: Identifier │ │ [<:] │ │ Predicate :: Identifier │ │ [<:] │ │ [curly] │ │ AbstractVector :: Identifier │ │ Int :: Identifier │ │ [curly] │ │ Predicate :: Identifier │ │ N :: Identifier │ │ [block] │ │ [::] │ │ conjuncts :: Identifier │ │ VT :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ Conjunction :: Identifier │ │ [parameters] │ │ [kw] │ │ [::] │ │ N :: Identifier │ │ Int :: Identifier │ │ [call] │ │ maximum :: Identifier │ │ [comprehension] │ │ [generator] │ │ [call] │ │ length :: Identifier │ │ v :: Identifier │ │ [=] │ │ [tuple] │ │ p :: Identifier │ │ v :: Identifier │ │ conjuncts :: Identifier │ │ [::] │ │ conjuncts :: Identifier │ │ VT :: Identifier │ │ [<:] │ │ VT :: Identifier │ │ [curly] │ │ AbstractVector :: Identifier │ │ [<:] │ │ [curly] │ │ Tuple :: Identifier │ │ [<:] │ │ Predicate :: Identifier │ │ [<:] │ │ [curly] │ │ AbstractVector :: Identifier │ │ Int :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ [curly] │ │ new :: Identifier │ │ [curly] │ │ Val :: Identifier │ │ N :: Identifier │ │ VT :: Identifier │ │ conjuncts :: 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 │ [struct] │ │ false :: Value │ macro_source=77 │ [<:] │ scope_layer=1 │ [curly] │ │ Conjunction :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Predicate :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [curly] │ │ Predicate :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ conjuncts :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ Conjunction :: Identifier │ scope_layer=1 │ [parameters] │ │ [kw] │ │ [::] │ │ N :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [call] │ │ maximum :: Identifier │ scope_layer=1 │ [comprehension] │ │ [generator] │ │ [call] │ │ length :: Identifier │ scope_layer=1 │ v :: Identifier │ scope_layer=1 │ [=] │ │ [tuple] │ │ p :: Identifier │ scope_layer=1 │ v :: Identifier │ scope_layer=1 │ conjuncts :: Identifier │ scope_layer=1 │ [::] │ │ conjuncts :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Predicate :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ [curly] │ │ new :: Identifier │ scope_layer=1 │ [curly] │ │ Val :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ conjuncts :: Identifier │ scope_layer=1 │ [call] │ │ Base.Docs.doc! :: Value │ macro_source=77 │ MathematicalPredicates :: Value │ macro_source=77 │ [call] │ │ Base.Docs.Binding :: Value │ macro_source=77 │ MathematicalPredicates :: Value │ │ [inert] │ jl_source=L65 │ Conjunction :: Identifier │ │ [call] │ │ Base.Docs.docstr :: Value │ macro_source=77 │ [call] │ macro_source=77 │ Core.svec :: Value │ macro_source=77 │ " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" :: Value │ macro_source=77 │ [call] │ │ Dict{Symbol, Any} :: Value │ macro_source=77 │ :path => "/home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl" :: Value │ macro_source=77 │ :linenumber => 1 :: Value │ macro_source=77 │ :module => MathematicalPredicates :: Value │ macro_source=77 │ [call] │ │ Pair :: Value │ macro_source=77 │ [inert] │ │ fields :: Identifier │ │ [call] │ macro_source=77 │ Dict{Symbol, Any} :: Value │ macro_source=77 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=3 │ │ file = "/home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl" │ line = 1 └ mod = MathematicalPredicates ERROR: LoadError: internal lowering bug: #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# - `jl_assert(!(haskey(ssa_rewrites, lhs_id)), _)`: multiple assignments to ssavalue Expression:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate)) Containing expressions:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate))  Detailed provenance:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:366 =#  └─ (= #₂₁ (call core.TypeVar :#T1 #₄₁/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/closure_conversion.jl:197 =#  └─ (= #₂₁ (call core.TypeVar :#T1 #₄₁/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:231 =#  └─ (= #₂₁ (call core.TypeVar :#T1 Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:231 =#  └─ (= #₂₁ (call core.TypeVar :#T1 Predicate))  └─ (call core.TypeVar :#T1 Predicate) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3025 =#  └─ (<: Predicate)  └─ (<: Predicate)  └─ (<: Predicate)  └─ (<: Predicate)  ├─ @ /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13  └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =#) " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" (struct false (<: (curly Conjunction N (<: VT (curly AbstractVector (<: (curly Tuple (<: Predicate) (<: (curly AbstractVector Int))))))) (curly Predicate N)) (block (:: conjuncts VT) (function (where (call Conjunction (parameters (kw (:: N Int) (call maximum (comprehension (generator (call length v) (= (tuple p v) conjuncts)))))) (:: conjuncts VT)) (<: VT (curly AbstractVector (<: (curly Tuple (<: Predicate) (<: (curly AbstractVector Int))))))) (block (return (call (curly new (curly Val N) VT) conjuncts)))))))  └─ @ /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1  Stacktrace:  [1] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}})  @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:23 [inlined]  [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:1106  [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:1223  [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:1253  [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/MathematicalPredicates/AMZmY/src/MathematicalPredicates.jl:9  [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:3271  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [13] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/MathematicalPredicates.jl:1 in expression starting at stdin:5 ✗ MathematicalPredicates 42.9 s ✓ ReachabilityBase 1.4 s ✓ StructUtils → StructUtilsStaticArraysCoreExt 0.6 s ✓ Compat → CompatLinearAlgebraExt 2.7 s ✓ JLLWrappers 2.4 s ✓ PrecompileTools 44.4 s ✓ Aqua 2.9 s ✓ Bzip2_jll 2.9 s ✓ CRlibm_jll 2.8 s ✓ OpenSpecFun_jll 3.2 s ✓ GLPK_jll 4.2 s ✓ RecipesBase 305.5 s ✓ StaticArrays 26.5 s ✓ Parsers 39.5 s ✓ CodecBzip2 2.4 s ✓ CRlibm 78.8 s ✓ SpecialFunctions 94.0 s ✓ JSON ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/EnumX/CGSQY/src/EnumX.jl:122 =# - Expected module name Expression:  (escape Overlap) Containing expressions:  (module false (escape Overlap) (block (primitive (<: T (curly Enum Int32)) 32) (let (= value_name_map Dict{Int32, Symbol}(3 => :second_empty, 2 => :first_empty, 6 => :overlaps, 5 => :meets, 4 => :before, 1 => :both_empty, 13 => :started_by, 8 => :contained_by, 7 => :starts, 10 => :equals, 16 => :after, 14 => :overlapped_by, 15 => :met_by, 12 => :contains, 11 => :finished_by, 9 => :finishes)) (block (= (call check_valid x) (block (|| (call in x (call keys value_name_map)) (call throw (call ArgumentError (string "invalid value for Enum " (inert Overlap) ": " x ".")))))) (global (function (call (escape T) (:: x Integer)) (block (call check_valid x) (return (call (. Base (inert bitcast)) (escape T) (call convert Int32 x)))))) (= (call (. (. Base (inert Enums)) (inert namemap)) (:: (curly (. Base (inert Type)) (escape T)))) (block value_name_map)) (= (call (. (. Base (inert Enums)) (inert instances)) (:: (curly (. Base (inert Type)) (escape T)))) (block (tuple (escape both_empty) (escape first_empty) (escape second_empty) (escape before) (escape meets) (escape overlaps) (escape starts) (escape contained_by) (escape finishes) (escape equals) (escape finished_by) (escape contains) (escape started_by) (escape overlapped_by) (escape met_by) (escape after)))) (= (call (. EnumX (inert symbol_map)) (:: (curly (. Base (inert Type)) (escape T)))) (block Pair{Symbol, Int32}[:both_empty => 1, :first_empty => 2, :second_empty => 3, :before => 4, :meets => 5, :overlaps => 6, :starts => 7, :contained_by => 8, :finishes => 9, :equals => 10, :finished_by => 11, :contains => 12, :started_by => 13, :overlapped_by => 14, :met_by => 15, :after => 16])))) (escape (public T both_empty first_empty second_empty before meets overlaps starts contained_by finishes equals finished_by contains started_by overlapped_by met_by after)) (const (= (escape both_empty) (call (escape T) 1))) (const (= (escape first_empty) (call (escape T) 2))) (const (= (escape second_empty) (call (escape T) 3))) (const (= (escape before) (call (escape T) 4))) (const (= (escape meets) (call (escape T) 5))) (const (= (escape overlaps) (call (escape T) 6))) (const (= (escape starts) (call (escape T) 7))) (const (= (escape contained_by) (call (escape T) 8))) (const (= (escape finishes) (call (escape T) 9))) (const (= (escape equals) (call (escape T) 10))) (const (= (escape finished_by) (call (escape T) 11))) (const (= (escape contains) (call (escape T) 12))) (const (= (escape started_by) (call (escape T) 13))) (const (= (escape overlapped_by) (call (escape T) 14))) (const (= (escape met_by) (call (escape T) 15))) (const (= (escape after) (call (escape T) 16)))))  Detailed provenance:  (escape Overlap)  └─ (escape Overlap)  └─ (escape Overlap)  ├─ @ /home/pkgeval/.julia/packages/EnumX/CGSQY/src/EnumX.jl:122  └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:4 =#) " Overlap <: EnumX{Int32}\n\nStruct containing the `overlap` instances included in the IEEE Standard 1788-2015.\nThey are numerated starting on 1. To see the distinct instances, type\n`IntervalArithmetic.Overlap.T`.\n" (macrocall @enumx :(#= /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:11 =#) Overlap (block (= both_empty 1) first_empty second_empty before meets overlaps starts contained_by finishes equals finished_by contains started_by overlapped_by met_by after)))  └─ @ /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:4  Stacktrace:  [1] lower_step(iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}, mod::Module, world::UInt64; soft_scope::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:81  [2] >(x::Int64, y::Int64)  @ Base /source/usr/share/julia/JuliaLowering/src/eval.jl:45 [inlined]  [3] lower_step(iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}, mod::Module, world::UInt64; soft_scope::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:72  [4] getindex(A::Vector{Module}, i::Int64)  @ Base /source/usr/share/julia/JuliaLowering/src/eval.jl:45 [inlined]  [5] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:479  [6] _eval  @ /source/usr/share/julia/JuliaLowering/src/eval.jl:475 [inlined]  [7] #eval#134  @ /source/usr/share/julia/JuliaLowering/src/eval.jl:467 [inlined]  [8] top-level scope  @ ~/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:4  [9] macro expansion  @ ~/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:4 [inlined]  [10] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [11] top-level scope  @ ~/.julia/packages/IntervalArithmetic/sswVH/src/intervals/intervals.jl:26  [12] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [13] top-level scope  @ ~/.julia/packages/IntervalArithmetic/sswVH/src/IntervalArithmetic.jl:102  [14] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [15] 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:3271  [16] top-level scope  @ stdin:5  [17] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [18] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [19] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [20] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [21] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/intervals/interval_operations/overlap.jl:4 in expression starting at /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/intervals/intervals.jl:26 in expression starting at /home/pkgeval/.julia/packages/IntervalArithmetic/sswVH/src/IntervalArithmetic.jl:3 in expression starting at stdin:5 ✗ IntervalArithmetic 1.2 s ✓ DiffRules ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("bbf7d656-a473-5ed7-a52c-81e309532950"), "CommonSubexpressions") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/ForwardDiff/z3jRk/src/ForwardDiff.jl:13  [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:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/ForwardDiff/z3jRk/src/ForwardDiff.jl:1 in expression starting at stdin:5 ✗ ForwardDiff ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("f6369f11-7733-5829-9624-2563aa707210"), "ForwardDiff") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/ForwardDiff/z3jRk/ext/ForwardDiffStaticArraysExt.jl:3  [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:3271  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [18] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/ForwardDiff/z3jRk/ext/ForwardDiffStaticArraysExt.jl:1 in expression starting at stdin:5 ✗ ForwardDiff → ForwardDiffStaticArraysExt ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("f6369f11-7733-5829-9624-2563aa707210"), "ForwardDiff") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/MathOptInterface/EMtxt/src/Nonlinear/Nonlinear.jl:9  [12] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [13] top-level scope  @ ~/.julia/packages/MathOptInterface/EMtxt/src/MathOptInterface.jl:439  [14] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [15] 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:3271  [16] top-level scope  @ stdin:5  [17] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [18] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [19] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [20] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [21] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/EMtxt/src/Nonlinear/Nonlinear.jl:7 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/EMtxt/src/MathOptInterface.jl:7 in expression starting at stdin:5 ✗ MathOptInterface ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("1914dd2f-81c6-5fcd-8719-6d5c9610ff09"), "MacroTools") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/JuMP/EHXNP/src/JuMP.jl:21  [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:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/JuMP/EHXNP/src/JuMP.jl:11 in expression starting at stdin:5 ✗ JuMP ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("b8f27783-ece8-5eb3-8dc8-9495eed66fee"), "MathOptInterface") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/GLPK/2y5V8/src/MOI_wrapper/MOI_wrapper.jl:13  [12] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [13] top-level scope  @ ~/.julia/packages/GLPK/2y5V8/src/GLPK.jl:62  [14] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [15] 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:3271  [16] top-level scope  @ stdin:5  [17] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [18] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [19] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [20] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [21] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/GLPK/2y5V8/src/MOI_wrapper/MOI_wrapper.jl:13 in expression starting at /home/pkgeval/.julia/packages/GLPK/2y5V8/src/GLPK.jl:13 in expression starting at stdin:5 ✗ GLPK ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("60bf3e95-4087-53dc-ae20-288a0d20c6a6"), "GLPK") 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:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./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/LazySets/To64k/src/LazySets.jl:26  [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:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/LazySets/To64k/src/LazySets.jl:1 in expression starting at stdin:5 ✗ LazySets 39 dependencies successfully precompiled in 1462 seconds. 37 already precompiled. Precompilation completed after 1495.55s ################################################################################ # Testing # Testing MathematicalPredicates Status `/tmp/jl_lD2lPZ/Project.toml` [4c88cf16] Aqua v0.8.14 ⌅ [b4f0291d] LazySets v4.0.1 [d92ed5c0] MathematicalPredicates v0.1.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_lD2lPZ/Manifest.toml` [4c88cf16] Aqua v0.8.14 [96374032] CRlibm v1.0.2 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [4e289a0a] EnumX v1.0.7 [90fa49ef] ErrorfreeArithmetic v0.5.2 [e2ba6199] ExprTools v0.1.10 [fa42c844] FastRounding v0.3.1 [f6369f11] ForwardDiff v1.3.3 [60bf3e95] GLPK v1.2.1 ⌅ [d1acc4aa] IntervalArithmetic v0.21.2 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.0 [4076af6c] JuMP v1.30.1 ⌅ [b4f0291d] LazySets v4.0.1 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.0 [d92ed5c0] MathematicalPredicates v0.1.1 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.4 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [379f33d0] ReachabilityBase v0.3.6 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [3cc68bcd] SetRounding v0.2.1 [276daf66] SpecialFunctions v2.7.2 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [ec057cc2] StructUtils v2.8.2 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 ⌅ [e8aa6df9] GLPK_jll v5.0.1+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [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.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap 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 [1a1011a3] SharedArrays 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.1+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.3+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+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... ┌ Info: JuliaLowering threw given input: │ code = │ :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =# Core.@doc " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" struct Conjunction{N, VT <: AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N} │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:11 =# │ conjuncts::VT │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# │ function Conjunction(conjuncts::VT; N::Int = maximum([length(v) for (p, v) = conjuncts])) where VT <: AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}} │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# │ #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:16 =# │ return new{Val{N}, VT}(conjuncts) │ 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__ │ [macrocall] │ │ @doc :: Identifier │ mod │ :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =#) :: Value │ │ " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" :: Value │ │ [struct] │ │ false :: Value │ │ [<:] │ │ [curly] │ │ Conjunction :: Identifier │ │ N :: Identifier │ │ [<:] │ │ VT :: Identifier │ │ [curly] │ │ AbstractVector :: Identifier │ │ [<:] │ │ [curly] │ │ Tuple :: Identifier │ │ [<:] │ │ Predicate :: Identifier │ │ [<:] │ │ [curly] │ │ AbstractVector :: Identifier │ │ Int :: Identifier │ │ [curly] │ │ Predicate :: Identifier │ │ N :: Identifier │ │ [block] │ │ [::] │ │ conjuncts :: Identifier │ │ VT :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ Conjunction :: Identifier │ │ [parameters] │ │ [kw] │ │ [::] │ │ N :: Identifier │ │ Int :: Identifier │ │ [call] │ │ maximum :: Identifier │ │ [comprehension] │ │ [generator] │ │ [call] │ │ length :: Identifier │ │ v :: Identifier │ │ [=] │ │ [tuple] │ │ p :: Identifier │ │ v :: Identifier │ │ conjuncts :: Identifier │ │ [::] │ │ conjuncts :: Identifier │ │ VT :: Identifier │ │ [<:] │ │ VT :: Identifier │ │ [curly] │ │ AbstractVector :: Identifier │ │ [<:] │ │ [curly] │ │ Tuple :: Identifier │ │ [<:] │ │ Predicate :: Identifier │ │ [<:] │ │ [curly] │ │ AbstractVector :: Identifier │ │ Int :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ [curly] │ │ new :: Identifier │ │ [curly] │ │ Val :: Identifier │ │ N :: Identifier │ │ VT :: Identifier │ │ conjuncts :: 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 │ [struct] │ │ false :: Value │ macro_source=77 │ [<:] │ scope_layer=1 │ [curly] │ │ Conjunction :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Predicate :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [curly] │ │ Predicate :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ conjuncts :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ Conjunction :: Identifier │ scope_layer=1 │ [parameters] │ │ [kw] │ │ [::] │ │ N :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [call] │ │ maximum :: Identifier │ scope_layer=1 │ [comprehension] │ │ [generator] │ │ [call] │ │ length :: Identifier │ scope_layer=1 │ v :: Identifier │ scope_layer=1 │ [=] │ │ [tuple] │ │ p :: Identifier │ scope_layer=1 │ v :: Identifier │ scope_layer=1 │ conjuncts :: Identifier │ scope_layer=1 │ [::] │ │ conjuncts :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ Tuple :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ Predicate :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ [curly] │ │ AbstractVector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ [curly] │ │ new :: Identifier │ scope_layer=1 │ [curly] │ │ Val :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ VT :: Identifier │ scope_layer=1 │ conjuncts :: Identifier │ scope_layer=1 │ [call] │ │ Base.Docs.doc! :: Value │ macro_source=77 │ MathematicalPredicates :: Value │ macro_source=77 │ [call] │ │ Base.Docs.Binding :: Value │ macro_source=77 │ MathematicalPredicates :: Value │ │ [inert] │ jl_source=L65 │ Conjunction :: Identifier │ │ [call] │ │ Base.Docs.docstr :: Value │ macro_source=77 │ [call] │ macro_source=77 │ Core.svec :: Value │ macro_source=77 │ " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" :: Value │ macro_source=77 │ [call] │ │ Dict{Symbol, Any} :: Value │ macro_source=77 │ :path => "/home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl" :: Value │ macro_source=77 │ :linenumber => 1 :: Value │ macro_source=77 │ :module => MathematicalPredicates :: Value │ macro_source=77 │ [call] │ │ Pair :: Value │ macro_source=77 │ [inert] │ │ fields :: Identifier │ │ [call] │ macro_source=77 │ Dict{Symbol, Any} :: Value │ macro_source=77 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=3 │ │ file = "/home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl" │ line = 1 └ mod = MathematicalPredicates ERROR: LoadError: internal lowering bug: #= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13 =# - `jl_assert(!(haskey(ssa_rewrites, lhs_id)), _)`: multiple assignments to ssavalue Expression:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate)) Containing expressions:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate))  Detailed provenance:  (= #₂₁ (call core.TypeVar :#T1 #₁₅₆/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:366 =#  └─ (= #₂₁ (call core.TypeVar :#T1 #₄₁/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/closure_conversion.jl:197 =#  └─ (= #₂₁ (call core.TypeVar :#T1 #₄₁/Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:231 =#  └─ (= #₂₁ (call core.TypeVar :#T1 Predicate)) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:231 =#  └─ (= #₂₁ (call core.TypeVar :#T1 Predicate))  └─ (call core.TypeVar :#T1 Predicate) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3025 =#  └─ (<: Predicate)  └─ (<: Predicate)  └─ (<: Predicate)  └─ (<: Predicate)  ├─ @ /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:13  └─ (macrocall @doc :(#= /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 =#) " Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}\n\nA conjunction of predicates of arity `N`.\n\n### Fields\n\n- `conjuncts` -- vector of conjuncts\n" (struct false (<: (curly Conjunction N (<: VT (curly AbstractVector (<: (curly Tuple (<: Predicate) (<: (curly AbstractVector Int))))))) (curly Predicate N)) (block (:: conjuncts VT) (function (where (call Conjunction (parameters (kw (:: N Int) (call maximum (comprehension (generator (call length v) (= (tuple p v) conjuncts)))))) (:: conjuncts VT)) (<: VT (curly AbstractVector (<: (curly Tuple (<: Predicate) (<: (curly AbstractVector Int))))))) (block (return (call (curly new (curly Val N) VT) conjuncts)))))))  └─ @ /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/Conjunction.jl:1  Stacktrace:  [1] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}})  @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:23 [inlined]  [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:1106  [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:1223  [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:1253  [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/MathematicalPredicates/AMZmY/src/MathematicalPredicates.jl:9  [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:3271  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [13] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [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/MathematicalPredicates/AMZmY/src/Conjunction.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/src/MathematicalPredicates.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ MathematicalPredicates │ [Output was shown above] └ ERROR: LoadError: The following 1 package failed to precompile: MathematicalPredicates Failed to precompile MathematicalPredicates [d92ed5c0-d2da-11e9-1f26-3721184dea2b] to "/home/pkgeval/.julia/compiled/v1.14/MathematicalPredicates/jl_dEwYx9" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/MathematicalPredicates/AMZmY/test/runtests.jl:1 Testing failed after 22.95s ERROR: LoadError: Package MathematicalPredicates 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] Cmd(cmd::Cmd) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3110 [inlined] [4] 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 [5] 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 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [7] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [8] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [10] include(mod::Module, _path::String) @ Base ./Base.jl:326 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:355 [12] _start() @ Base ./client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1568.05s: package fails to precompile