Package evaluation of GATlab on Julia 1.13.0-DEV.896 (efa4faf9a4*) started at 2025-07-25T12:07:47.782


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 13.38s


################################################################################
# Installation
#

Installing GATlab...
   Resolving package versions...
   Installed FixedPointNumbers ─── v0.8.5
   Installed Compat ────────────── v4.17.0
   Installed Reexport ──────────── v1.2.2
   Installed Statistics ────────── v1.11.1
   Installed Preferences ───────── v1.4.3
   Installed DataStructures ────── v0.18.22
   Installed PrecompileTools ───── v1.3.2
   Installed JSON ──────────────── v0.21.4
   Installed Crayons ───────────── v4.1.1
   Installed Parsers ───────────── v2.8.3
   Installed StructEquality ────── v2.1.0
   Installed Colors ────────────── v0.13.1
   Installed AlgebraicInterfaces ─ v0.1.4
   Installed MLStyle ───────────── v0.4.17
   Installed OrderedCollections ── v1.8.1
   Installed GATlab ────────────── v0.2.1
   Installed ColorTypes ────────── v0.12.1
    Updating `~/.julia/environments/v1.13/Project.toml`
  [f0ffcf3b] + GATlab v0.2.1
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [23cfdc9f] + AlgebraicInterfaces v0.1.4
  [3da002f7] + ColorTypes v0.12.1
  [5ae59095] + Colors v0.13.1
  [34da2185] + Compat v4.17.0
  [a8cc5b0e] + Crayons v4.1.1
  [864edb3b] + DataStructures v0.18.22
  [53c48c17] + FixedPointNumbers v0.8.5
  [f0ffcf3b] + GATlab v0.2.1
  [682c06a0] + JSON v0.21.4
  [d8e11817] + MLStyle v0.4.17
  [bac558e1] + OrderedCollections v1.8.1
  [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.13.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.13.1+0

Installation completed after 1.79s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
Precompiling packages...
   3280.6 ms  ✓ TestEnv
  1 dependency successfully precompiled in 4 seconds. 26 already precompiled.

Precompiling package dependencies...
ERROR: LoadError: The following 1 direct dependency failed to precompile:

GATlab 

Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/home/pkgeval/.julia/compiled/v1.13/GATlab/jl_Zxraob" (ProcessExited(1)).
ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:15 =#
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:461
  [3] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
  [4] fromexpr
    @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
  [5] theory_impl(head::Symbol, body::Expr, __module__::Module)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
  [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
  [7] #macroexpand#22
    @ ./expr.jl:203 [inlined]
  [8] macroexpand
    @ ./expr.jl:201 [inlined]
  [9] docm
    @ ./docs/Docs.jl:647 [inlined]
 [10] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
    @ Base.Docs ./docs/Docs.jl:647
 [11] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
    @ Core ./boot.jl:766
 [12] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
 [13] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [14] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
 [15] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [16] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
 [17] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [18] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:311
 [20] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2848
 [24] include_string
    @ ./loading.jl:2858 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:318
 [26] _start()
    @ Base ./client.jl:553
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:1
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:1
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/GATlab.jl:1
in expression starting at stdin:5

caused by: MethodError: no method matching addmethod!(::GATlab.Syntax.GATs.MethodResolver, ::Vector{Any}, ::GATlab.Syntax.Scopes.Ident)
The function `addmethod!` exists, but no method is defined for this combination of argument types.

Closest candidates are:
  addmethod!(::GATlab.Syntax.GATs.MethodResolver, !Matched::Vector{<:GATlab.Syntax.GATs.AbstractAlgSort}, ::GATlab.Syntax.Scopes.Ident)
   @ GATlab ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:45

Stacktrace:
  [1] unsafe_updatecache!(theory::GATlab.Syntax.GATs.GAT, x::GATlab.Syntax.Scopes.Ident, judgment::GATlab.Syntax.GATs.AlgTypeConstructor)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:221
  [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:254
  [3] new_typecon(theory::GATlab.Syntax.GATs.GAT, name::Symbol, localcontext::GATlab.Syntax.GATs.TypeScope, args::Vector{GATlab.Syntax.Scopes.LID})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:315
  [4] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:298
  [5] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:369
  [6] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:457
  [7] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
  [8] fromexpr
    @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
  [9] theory_impl(head::Symbol, body::Expr, __module__::Module)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
 [10] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
 [11] #macroexpand#22
    @ ./expr.jl:203 [inlined]
 [12] macroexpand
    @ ./expr.jl:201 [inlined]
 [13] docm
    @ ./docs/Docs.jl:647 [inlined]
 [14] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
    @ Base.Docs ./docs/Docs.jl:647
 [15] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
    @ Core ./boot.jl:766
 [16] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
 [17] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [18] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
 [19] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [20] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
 [21] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [22] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
 [23] include(mod::Module, _path::String)
    @ Base ./Base.jl:311
 [24] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
 [25] top-level scope
    @ stdin:5
 [26] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [27] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2848
 [28] include_string
    @ ./loading.jl:2858 [inlined]
 [29] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:318
 [30] _start()
    @ Base ./client.jl:55
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 126.02s



################################################################################
# Testing
#

     Testing GATlab
      Status `/tmp/jl_ojMBDu/Project.toml`
  [f0ffcf3b] GATlab v0.2.1
  [6ec83bb0] StructEquality v2.1.0
  [d6f4376e] Markdown v1.11.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_ojMBDu/Manifest.toml`
  [23cfdc9f] AlgebraicInterfaces v0.1.4
  [3da002f7] ColorTypes v0.12.1
  [5ae59095] Colors v0.13.1
  [34da2185] Compat v4.17.0
  [a8cc5b0e] Crayons v4.1.1
  [864edb3b] DataStructures v0.18.22
  [53c48c17] FixedPointNumbers v0.8.5
  [f0ffcf3b] GATlab v0.2.1
  [682c06a0] JSON v0.21.4
  [d8e11817] MLStyle v0.4.17
  [bac558e1] OrderedCollections v1.8.1
  [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.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 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.13.1+0
     Testing Running tests...
Precompiling packages...
Info Given GATlab was explicitly requested, output will be shown live 
ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:15 =#
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:461
  [3] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
  [4] fromexpr
    @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
  [5] theory_impl(head::Symbol, body::Expr, __module__::Module)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
  [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
  [7] #macroexpand#22
    @ ./expr.jl:203 [inlined]
  [8] macroexpand
    @ ./expr.jl:201 [inlined]
  [9] docm
    @ ./docs/Docs.jl:647 [inlined]
 [10] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
    @ Base.Docs ./docs/Docs.jl:647
 [11] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
    @ Core ./boot.jl:766
 [12] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
 [13] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [14] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
 [15] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [16] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
 [17] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [18] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
 [19] include(mod::Module, _path::String)
    @ Base ./Base.jl:311
 [20] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
 [21] top-level scope
    @ stdin:5
 [22] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2848
 [24] include_string
    @ ./loading.jl:2858 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:318
 [26] _start()
    @ Base ./client.jl:553
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:1
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:1
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/GATlab.jl:1
in expression starting at stdin:5

caused by: MethodError: no method matching addmethod!(::GATlab.Syntax.GATs.MethodResolver, ::Vector{Any}, ::GATlab.Syntax.Scopes.Ident)
The function `addmethod!` exists, but no method is defined for this combination of argument types.

Closest candidates are:
  addmethod!(::GATlab.Syntax.GATs.MethodResolver, !Matched::Vector{<:GATlab.Syntax.GATs.AbstractAlgSort}, ::GATlab.Syntax.Scopes.Ident)
   @ GATlab ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:45

Stacktrace:
  [1] unsafe_updatecache!(theory::GATlab.Syntax.GATs.GAT, x::GATlab.Syntax.Scopes.Ident, judgment::GATlab.Syntax.GATs.AlgTypeConstructor)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:221
  [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:254
  [3] new_typecon(theory::GATlab.Syntax.GATs.GAT, name::Symbol, localcontext::GATlab.Syntax.GATs.TypeScope, args::Vector{GATlab.Syntax.Scopes.LID})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:315
  [4] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:298
  [5] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode)
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:369
  [6] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:457
  [7] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
    @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
  [8] fromexpr
    @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
  [9] theory_impl(head::Symbol, body::Expr, __module__::Module)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
 [10] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
    @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
 [11] #macroexpand#22
    @ ./expr.jl:203 [inlined]
 [12] macroexpand
    @ ./expr.jl:201 [inlined]
 [13] docm
    @ ./docs/Docs.jl:647 [inlined]
 [14] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
    @ Base.Docs ./docs/Docs.jl:647
 [15] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
    @ Core ./boot.jl:766
 [16] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
 [17] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [18] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
 [19] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [20] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
 [21] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:312
 [22] top-level scope
    @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
 [23] include(mod::Module, _path::String)
    @ Base ./Base.jl:311
 [24] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
 [25] top-level scope
    @ stdin:5
 [26] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [27] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2848
 [28] include_string
    @ ./loading.jl:2858 [inlined]
 [29] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:318
 [30] _start()
    @ Base ./client.jl:553
              ✗ GATlab
  0 dependencies successfully precompiled in 28 seconds. 29 already precompiled.


MetaUtils: Error During Test at /home/pkgeval/.julia/packages/GATlab/g7SpO/test/util/tests.jl:5
  Got exception outside of a @test
  LoadError: The following 1 direct dependency failed to precompile:
  GATlab 
  Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/home/pkgeval/.julia/compiled/v1.13/GATlab/jl_WLJtII" (ProcessExited(1)).
  ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:15 =#
  Stacktrace:
    [1] error(s::String)
      @ Base ./error.jl:44
    [2] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:461
    [3] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
    [4] fromexpr
      @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
    [5] theory_impl(head::Symbol, body::Expr, __module__::Module)
      @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
    [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
      @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
    [7] #macroexpand#22
      @ ./expr.jl:203 [inlined]
    [8] macroexpand
      @ ./expr.jl:201 [inlined]
    [9] docm
      @ ./docs/Docs.jl:647 [inlined]
   [10] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
      @ Base.Docs ./docs/Docs.jl:647
   [11] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
      @ Core ./boot.jl:766
   [12] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
      @ Base ./flfrontend.jl:24
   [13] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [14] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
   [15] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [16] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
   [17] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [18] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
   [19] include(mod::Module, _path::String)
      @ Base ./Base.jl:311
   [20] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
   [21] top-level scope
      @ stdin:5
   [22] eval(m::Module, e::Any)
      @ Core ./boot.jl:489
   [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
      @ Base ./loading.jl:2848
   [24] include_string
      @ ./loading.jl:2858 [inlined]
   [25] exec_options(opts::Base.JLOptions)
      @ Base ./client.jl:318
   [26] _start()
      @ Base ./client.jl:553
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/categories.jl:9
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:1
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:1
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/src/GATlab.jl:1
  in expression starting at stdin:5
  caused by: MethodError: no method matching addmethod!(::GATlab.Syntax.GATs.MethodResolver, ::Vector{Any}, ::GATlab.Syntax.Scopes.Ident)
  The function `addmethod!` exists, but no method is defined for this combination of argument types.
  Closest candidates are:
    addmethod!(::GATlab.Syntax.GATs.MethodResolver, !Matched::Vector{<:GATlab.Syntax.GATs.AbstractAlgSort}, ::GATlab.Syntax.Scopes.Ident)
     @ GATlab ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:45
  Stacktrace:
    [1] unsafe_updatecache!(theory::GATlab.Syntax.GATs.GAT, x::GATlab.Syntax.Scopes.Ident, judgment::GATlab.Syntax.GATs.AlgTypeConstructor)
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:221
    [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/gat.jl:254
    [3] new_typecon(theory::GATlab.Syntax.GATs.GAT, name::Symbol, localcontext::GATlab.Syntax.GATs.TypeScope, args::Vector{GATlab.Syntax.Scopes.LID})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:315
    [4] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol)
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:298
    [5] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode)
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:369
    [6] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:457
    [7] fromexpr(parent::GATlab.Syntax.GATs.GAT, e::Expr, ::Type{GATlab.Syntax.GATs.GAT}; name::Symbol, current_module::Vector{Symbol})
      @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:475
    [8] fromexpr
      @ ~/.julia/packages/GATlab/g7SpO/src/syntax/gats/exprinterop.jl:465 [inlined]
    [9] theory_impl(head::Symbol, body::Expr, __module__::Module)
      @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:127
   [10] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)
      @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/g7SpO/src/syntax/TheoryInterface.jl:66
   [11] #macroexpand#22
      @ ./expr.jl:203 [inlined]
   [12] macroexpand
      @ ./expr.jl:201 [inlined]
   [13] docm
      @ ./docs/Docs.jl:647 [inlined]
   [14] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)
      @ Base.Docs ./docs/Docs.jl:647
   [15] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})
      @ Core ./boot.jl:766
   [16] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
      @ Base ./flfrontend.jl:24
   [17] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [18] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/theories/module.jl:5
   [19] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [20] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/stdlib/module.jl:5
   [21] include(mapexpr::Function, mod::Module, _path::String)
      @ Base ./Base.jl:312
   [22] top-level scope
      @ ~/.julia/packages/GATlab/g7SpO/src/GATlab.jl:11
   [23] include(mod::Module, _path::String)
      @ Base ./Base.jl:311
   [24] include_package_for_output(pkg::Base.PkgId, input::String, 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:3002
   [25] top-level scope
      @ stdin:5
   [26] eval(m::Module, e::Any)
      @ Core ./boot.jl:489
   [27] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
      @ Base ./loading.jl:2848
   [28] include_string
      @ ./loading.jl:2858 [inlined]
   [29] exec_options(opts::Base.JLOptions)
      @ Base ./client.jl:318
   [30] _start()
      @ Base ./client.jl:55
  in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/test/util/MetaUtils.jl:1
Test Summary: | Error  Total   Time
util          |     1      1  30.6s
  MetaUtils   |     1      1  30.6s
RNG of the outermost testset: Random.Xoshiro(0x2a749c208d14c2d2, 0x4040e93f9eafdfb7, 0x823eb4fc59be930e, 0x9379923eeebd07dc, 0x7ec3e085b1087841)
ERROR: LoadError: Some tests did not pass: 0 passed, 0 failed, 1 errored, 0 broken.
in expression starting at /home/pkgeval/.julia/packages/GATlab/g7SpO/test/runtests.jl:3

Testing failed after 40.28s

ERROR: LoadError: Package GATlab errored during testing
Stacktrace:
  [1] pkgerror(::String, ::Vararg{String})
    @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/Operations.jl:2661
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2510 [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.13/Pkg/src/API.jl:538
  [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168
  [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156
  [7] test
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined]
  [8] #test#81
    @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [inlined]
  [9] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:219
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:311
 [11] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:320
 [12] _start()
    @ Base ./client.jl:553
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 196.3s: package fails to precompile