Package evaluation to test GATlab on Julia 1.14.0-DEV.1893 (b4aba01002*) started at 2026-03-15T15:11:12.750 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.57s ################################################################################ # Installation # Installing GATlab... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [f0ffcf3b] + GATlab v0.2.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [23cfdc9f] + AlgebraicInterfaces v0.1.4 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.1 [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 ⌅ [864edb3b] + DataStructures v0.18.22 [53c48c17] + FixedPointNumbers v0.8.5 [f0ffcf3b] + GATlab v0.2.2 ⌅ [682c06a0] + JSON v0.21.4 [d8e11817] + MLStyle v0.4.17 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [189a3867] + Reexport v1.2.2 [10745b16] + Statistics v1.11.1 [6ec83bb0] + StructEquality v2.1.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.30+0 [8e850b90] + libblastrampoline_jll v5.15.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 4.84s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 1047.7 ms ✓ AlgebraicInterfaces 76467.3 ms ✓ GATlab 2 dependencies successfully precompiled in 78 seconds. 31 already precompiled. 9 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings, TOML and UUIDs). Restart julia to access the new versions. Otherwise, 12 dependents of these packages may trigger further precompilation to work with the unexpected versions. Precompilation completed after 100.51s ################################################################################ # Testing # Testing GATlab Status `/tmp/jl_dB8fXY/Project.toml` [f0ffcf3b] GATlab v0.2.2 [6ec83bb0] StructEquality v2.1.0 [d6f4376e] Markdown v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_dB8fXY/Manifest.toml` [23cfdc9f] AlgebraicInterfaces v0.1.4 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [34da2185] Compat v4.18.1 [a8cc5b0e] Crayons v4.1.1 ⌅ [864edb3b] DataStructures v0.18.22 [53c48c17] FixedPointNumbers v0.8.5 [f0ffcf3b] GATlab v0.2.2 ⌅ [682c06a0] JSON v0.21.4 [d8e11817] MLStyle v0.4.17 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [189a3867] Reexport v1.2.2 [10745b16] Statistics v1.11.1 [6ec83bb0] StructEquality v2.1.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates 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 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.30+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time util | 16 16 11.8s ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{GATlab.Syntax.Scopes.Ident, GATlab.Syntax.GATs.MethodResolver}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = GAT at gat.jl:103 [inlined] └ @ Core ~/.julia/packages/GATlab/X6I1A/src/syntax/gats/gat.jl:103 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{GATlab.Syntax.Scopes.Ident, GATlab.Syntax.GATs.MethodResolver}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = GATlab.Syntax.GATs.GAT(name::Symbol, segments::GATlab.Syntax.Scopes.ScopeList{GATlab.Syntax.GATs.Judgment}, resolvers::Dict{GATlab.Syntax.Scopes.Ident, GATlab.Syntax.GATs.MethodResolver}, sorts::Vector{GATlab.Syntax.GATs.AlgSort}, accessors::Dict{GATlab.Syntax.Scopes.Ident, Dict{Int64, GATlab.Syntax.Scopes.Ident}}, axioms::Vector{GATlab.Syntax.Scopes.Ident}, fixed_types::Dict{GATlab.Syntax.GATs.AlgSort, Union{Expr, Symbol}}) at gat.jl:103 └ @ Core ~/.julia/packages/GATlab/X6I1A/src/syntax/gats/gat.jl:103 ┌ Warning: Conversion to OrderedDict is deprecated for unordered associative containers (in this case, Dict{GATlab.Syntax.Scopes.Ident, Dict{Int64, GATlab.Syntax.Scopes.Ident}}). Use an ordered or sorted associative type, such as SortedDict and OrderedDict. │ caller = GATlab.Syntax.GATs.GAT(name::Symbol, segments::GATlab.Syntax.Scopes.ScopeList{GATlab.Syntax.GATs.Judgment}, resolvers::Dict{GATlab.Syntax.Scopes.Ident, GATlab.Syntax.GATs.MethodResolver}, sorts::Vector{GATlab.Syntax.GATs.AlgSort}, accessors::Dict{GATlab.Syntax.Scopes.Ident, Dict{Int64, GATlab.Syntax.Scopes.Ident}}, axioms::Vector{GATlab.Syntax.Scopes.Ident}, fixed_types::Dict{GATlab.Syntax.GATs.AlgSort, Union{Expr, Symbol}}) at gat.jl:103 └ @ Core ~/.julia/packages/GATlab/X6I1A/src/syntax/gats/gat.jl:103 Test Summary: | Pass Total Time syntax | 210 210 1m45.2s WARNING: Method definition dom(GATlab.Syntax.TheoryInterface.WithModel{var"#s672"} where var"#s672"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(AlgebraicInterfaces.dom), GATlab.Syntax.TheoryInterface.WithModel{var"#s671"} where var"#s671"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition compose(GATlab.Syntax.TheoryInterface.WithModel{var"#s10"} where var"#s10"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(AlgebraicInterfaces.compose), GATlab.Syntax.TheoryInterface.WithModel{var"#s9"} where var"#s9"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition ⋅(GATlab.Syntax.TheoryInterface.WithModel{var"#s799"} where var"#s799"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⋅)), GATlab.Syntax.TheoryInterface.WithModel{var"#s800"} where var"#s800"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition dom(GATlab.Syntax.TheoryInterface.WithModel{var"#s14"} where var"#s14"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(AlgebraicInterfaces.dom), GATlab.Syntax.TheoryInterface.WithModel{var"#s13"} where var"#s13"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition compose(GATlab.Syntax.TheoryInterface.WithModel{var"#s809"} where var"#s809"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(AlgebraicInterfaces.compose), GATlab.Syntax.TheoryInterface.WithModel{var"#s810"} where var"#s810"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition ⋅(GATlab.Syntax.TheoryInterface.WithModel{var"#s819"} where var"#s819"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⋅)), GATlab.Syntax.TheoryInterface.WithModel{var"#s820"} where var"#s820"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s812"} where var"#s812"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.mcompose), GATlab.Syntax.TheoryInterface.WithModel{var"#s811"} where var"#s811"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition munit(GATlab.Syntax.TheoryInterface.WithModel{var"#s807"} where var"#s807"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.munit), GATlab.Syntax.TheoryInterface.WithModel{var"#s806"} where var"#s806"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition I(GATlab.Syntax.TheoryInterface.WithModel{var"#s798"} where var"#s798"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.I), GATlab.Syntax.TheoryInterface.WithModel{var"#s797"} where var"#s797"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s673"} where var"#s673"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⊗)), GATlab.Syntax.TheoryInterface.WithModel{var"#s672"} where var"#s672"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s16"} where var"#s16"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⊗)), GATlab.Syntax.TheoryInterface.WithModel{var"#s15"} where var"#s15"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s817"} where var"#s817"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.mcompose), GATlab.Syntax.TheoryInterface.WithModel{var"#s816"} where var"#s816"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s812"} where var"#s812"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.mcompose), GATlab.Syntax.TheoryInterface.WithModel{var"#s811"} where var"#s811"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition munit(GATlab.Syntax.TheoryInterface.WithModel{var"#s807"} where var"#s807"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.munit), GATlab.Syntax.TheoryInterface.WithModel{var"#s806"} where var"#s806"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition I(GATlab.Syntax.TheoryInterface.WithModel{var"#s798"} where var"#s798"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.I), GATlab.Syntax.TheoryInterface.WithModel{var"#s797"} where var"#s797"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s673"} where var"#s673"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⊗)), GATlab.Syntax.TheoryInterface.WithModel{var"#s672"} where var"#s672"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s16"} where var"#s16"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(GATlab.Stdlib.StdTheories.:(⊗)), GATlab.Syntax.TheoryInterface.WithModel{var"#s15"} where var"#s15"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. Test Summary: | Pass Total Time models | 225 225 1m50.6s Test Summary: | Pass Total Time stdlib | 66 66 10.1s Test Summary: | Pass Total Time nonstdlib | 6 6 3.5s Testing GATlab tests passed Testing completed after 249.91s PkgEval succeeded after 380.65s