Package evaluation of GATlab on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T00:34:40.455 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.32s ################################################################################ # Installation # Installing GATlab... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [f0ffcf3b] + GATlab v0.2.0 Updating `~/.julia/environments/v1.13/Manifest.toml` [23cfdc9f] + AlgebraicInterfaces v0.1.4 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.0 [34da2185] + Compat v4.16.0 [a8cc5b0e] + Crayons v4.1.1 [864edb3b] + DataStructures v0.18.22 [53c48c17] + FixedPointNumbers v0.8.5 [f0ffcf3b] + GATlab v0.2.0 [682c06a0] + JSON v0.21.4 [d8e11817] + MLStyle v0.4.17 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [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.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.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.29+0 [8e850b90] + libblastrampoline_jll v5.12.0+0 Installation completed after 1.12s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 87.86s ################################################################################ # Testing # Testing GATlab Status `/tmp/jl_p6l8u6/Project.toml` [f0ffcf3b] GATlab v0.2.0 [6ec83bb0] StructEquality v2.1.0 [d6f4376e] Markdown v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_p6l8u6/Manifest.toml` [23cfdc9f] AlgebraicInterfaces v0.1.4 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.0 [34da2185] Compat v4.16.0 [a8cc5b0e] Crayons v4.1.1 [864edb3b] DataStructures v0.18.22 [53c48c17] FixedPointNumbers v0.8.5 [f0ffcf3b] GATlab v0.2.0 [682c06a0] JSON v0.21.4 [d8e11817] MLStyle v0.4.17 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [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.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.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 v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.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.29+0 [8e850b90] libblastrampoline_jll v5.12.0+0 Testing Running tests... Test Summary: | Pass Total Time util | 14 14 11.0s ┌ 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/uy9BM/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/uy9BM/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/uy9BM/src/syntax/gats/gat.jl:103 Test Summary: | Pass Total Time syntax | 210 210 1m46.6s WARNING: Method definition dom(GATlab.Syntax.TheoryInterface.WithModel{var"#s649"} where var"#s649"<: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"#s648"} where var"#s648"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition 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 kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(AlgebraicInterfaces.compose), GATlab.Syntax.TheoryInterface.WithModel{var"#s8"} where var"#s8"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition ⋅(GATlab.Syntax.TheoryInterface.WithModel{var"#s775"} where var"#s775"<: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"#s776"} where var"#s776"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition dom(GATlab.Syntax.TheoryInterface.WithModel{var"#s13"} where var"#s13"<: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"#s12"} where var"#s12"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition compose(GATlab.Syntax.TheoryInterface.WithModel{var"#s785"} where var"#s785"<: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"#s786"} where var"#s786"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition ⋅(GATlab.Syntax.TheoryInterface.WithModel{var"#s795"} where var"#s795"<: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"#s796"} where var"#s796"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s788"} where var"#s788"<: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"#s787"} where var"#s787"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition munit(GATlab.Syntax.TheoryInterface.WithModel{var"#s783"} where var"#s783"<: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"#s782"} where var"#s782"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition I(GATlab.Syntax.TheoryInterface.WithModel{var"#s774"} where var"#s774"<: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"#s773"} where var"#s773"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s650"} where var"#s650"<: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"#s649"} where var"#s649"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s15"} where var"#s15"<: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"#s14"} where var"#s14"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s793"} where var"#s793"<: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"#s792"} where var"#s792"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. WARNING: Method definition mcompose(GATlab.Syntax.TheoryInterface.WithModel{var"#s788"} where var"#s788"<: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"#s787"} where var"#s787"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition munit(GATlab.Syntax.TheoryInterface.WithModel{var"#s783"} where var"#s783"<: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"#s782"} where var"#s782"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition I(GATlab.Syntax.TheoryInterface.WithModel{var"#s774"} where var"#s774"<: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"#s773"} where var"#s773"<:ModelTests.TestModelInterface.FinSetC′) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s650"} where var"#s650"<: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"#s649"} where var"#s649"<:ModelTests.TestModelInterface.FinSetC′, Array{Int64, 1}, Array{Int64, 1}) in module TestModelInterface overwritten. WARNING: Method definition ⊗(GATlab.Syntax.TheoryInterface.WithModel{var"#s15"} where var"#s15"<: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"#s14"} where var"#s14"<:ModelTests.TestModelInterface.FinSetC′, Int64, Int64) in module TestModelInterface overwritten. Test Summary: | Pass Total Time models | 225 225 1m38.4s Test Summary: | Pass Total Time stdlib | 66 66 5.8s Test Summary: | Pass Total Time nonstdlib | 6 6 3.2s Testing GATlab tests passed Testing completed after 231.84s PkgEval succeeded after 340.33s