Package evaluation to test Semirings on Julia 1.14.0-DEV.2226 (797a5ef2b0*) started at 2026-05-23T15:34:46.458 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.7s ################################################################################ # Installation # Installing Semirings... Resolving package versions... Installed Semirings ─ v0.5.5 Updating `~/.julia/environments/v1.14/Project.toml` [900aad66] + Semirings v0.5.5 Updating `~/.julia/environments/v1.14/Manifest.toml` [900aad66] + Semirings v0.5.5 Installation completed after 1.45s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 5.4 s ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 1.1 s ✓ DocStringExtensions 2.2 s ✓ IrrationalConstants ┌ Info: JuliaLowering threw given input: │ code = │ :((Base.:/(x::Semiring, y::Semiring) where T <: Semiring) = begin │ #= /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29 =# │ Base.:/(IsDivisible(typeof(y)), x, y) │ 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__ │ [=] │ │ [where] │ │ [call] │ │ [.] │ │ Base :: Identifier │ │ [inert] │ │ / :: Identifier │ │ [::] │ │ x :: Identifier │ │ Semiring :: Identifier │ │ [::] │ │ y :: Identifier │ │ Semiring :: Identifier │ │ [<:] │ │ T :: Identifier │ │ Semiring :: Identifier │ │ [block] │ │ [call] │ │ [.] │ │ Base :: Identifier │ │ [inert] │ │ / :: Identifier │ │ [call] │ │ IsDivisible :: Identifier │ │ [call] │ │ typeof :: Identifier │ │ y :: Identifier │ │ x :: Identifier │ │ y :: 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 │ [=] │ │ [where] │ │ [call] │ │ [.] │ │ Base :: Identifier │ scope_layer=1 │ [inert] │ │ / :: Identifier │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [::] │ │ y :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ [.] │ │ Base :: Identifier │ scope_layer=1 │ [inert] │ │ / :: Identifier │ │ [call] │ │ IsDivisible :: Identifier │ scope_layer=1 │ [call] │ │ typeof :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl" │ line = 29 └ mod = Semirings ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar T core.Any Semiring) Containing expressions:  (_typevar T core.Any Semiring)  Detailed provenance:  (_typevar T core.Any Semiring) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ @ /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29  Stacktrace:  [1] 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:2860  [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:4268  [3] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] 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  [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:30  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/Semirings/tTyiX/src/Semirings.jl:37  [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/Semirings/tTyiX/src/properties.jl:29 in expression starting at /home/pkgeval/.julia/packages/Semirings/tTyiX/src/Semirings.jl:3 in expression starting at stdin:5 ✗ Semirings 1.5 s ✓ LogExpFunctions 3 dependencies successfully precompiled in 9 seconds. 8 already precompiled. Precompilation completed after 41.0s ################################################################################ # Testing # Testing Semirings Status `/tmp/jl_u4cZCf/Project.toml` [2ab3a3ac] LogExpFunctions v0.3.29 [900aad66] Semirings v0.5.5 [8dfed614] Test v1.11.0 Status `/tmp/jl_u4cZCf/Manifest.toml` [ffbed154] DocStringExtensions v0.9.5 [92d709cd] IrrationalConstants v0.2.6 [2ab3a3ac] LogExpFunctions v0.3.29 [900aad66] Semirings v0.5.5 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.0 [8dfed614] Test v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.1+0 [4536629a] OpenBLAS_jll v0.3.33+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :((Base.:/(x::Semiring, y::Semiring) where T <: Semiring) = begin │ #= /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29 =# │ Base.:/(IsDivisible(typeof(y)), x, y) │ 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__ │ [=] │ │ [where] │ │ [call] │ │ [.] │ │ Base :: Identifier │ │ [inert] │ │ / :: Identifier │ │ [::] │ │ x :: Identifier │ │ Semiring :: Identifier │ │ [::] │ │ y :: Identifier │ │ Semiring :: Identifier │ │ [<:] │ │ T :: Identifier │ │ Semiring :: Identifier │ │ [block] │ │ [call] │ │ [.] │ │ Base :: Identifier │ │ [inert] │ │ / :: Identifier │ │ [call] │ │ IsDivisible :: Identifier │ │ [call] │ │ typeof :: Identifier │ │ y :: Identifier │ │ x :: Identifier │ │ y :: 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 │ [=] │ │ [where] │ │ [call] │ │ [.] │ │ Base :: Identifier │ scope_layer=1 │ [inert] │ │ / :: Identifier │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [::] │ │ y :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Semiring :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ [.] │ │ Base :: Identifier │ scope_layer=1 │ [inert] │ │ / :: Identifier │ │ [call] │ │ IsDivisible :: Identifier │ scope_layer=1 │ [call] │ │ typeof :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl" │ line = 29 └ mod = Semirings ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar T core.Any Semiring) Containing expressions:  (_typevar T core.Any Semiring)  Detailed provenance:  (_typevar T core.Any Semiring) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ (<: T Semiring)  └─ @ /home/pkgeval/.julia/packages/Semirings/tTyiX/src/properties.jl:29  Stacktrace:  [1] 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:2860  [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:4268  [3] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] 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  [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:30  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/Semirings/tTyiX/src/Semirings.jl:37  [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/Semirings/tTyiX/src/properties.jl:29 in expression starting at /home/pkgeval/.julia/packages/Semirings/tTyiX/src/Semirings.jl:3 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ Semirings │ [Output was shown above] └ ERROR: LoadError: The following 1 package failed to precompile: Semirings Failed to precompile Semirings [900aad66-9ca5-44d4-b043-321c62cb7767] to "/home/pkgeval/.julia/compiled/v1.14/Semirings/jl_lm1PPF" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/Semirings/tTyiX/test/runtests.jl:1 Testing failed after 16.67s ERROR: LoadError: Package Semirings 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 95.03s: package fails to precompile