Package evaluation of Decapodes on Julia 1.13.0-DEV.896 (efa4faf9a4*) started at 2025-07-25T18:23:21.319 ################################################################################ # Set-up # Set-up completed after 0.41s ################################################################################ # Installation # Installing Decapodes... Resolving package versions... Installed CommonWorldInvalidations ──── v1.0.0 Installed CompositionsBase ──────────── v0.1.2 Installed NameResolution ────────────── v0.1.5 Installed ForwardDiff ───────────────── v1.0.1 Installed DiffResults ───────────────── v1.1.0 Installed MacroTools ────────────────── v0.5.16 Installed DataStructures ────────────── v0.18.22 Installed LightXML ──────────────────── v0.9.2 Installed CompTime ──────────────────── v0.1.2 Installed TermInterface ─────────────── v2.0.0 Installed AlgebraicInterfaces ───────── v0.1.4 Installed AbstractTrees ─────────────── v0.4.5 Installed ComponentArrays ───────────── v0.15.29 Installed FillArrays ────────────────── v1.13.0 Installed Bijections ────────────────── v0.2.2 Installed Extents ───────────────────── v0.1.6 Installed Adapt ─────────────────────── v4.3.0 Installed ConstructionBase ──────────── v1.6.0 Installed Unityper ──────────────────── v0.1.6 Installed AliasTables ───────────────── v1.1.3 Installed RuntimeGeneratedFunctions ─── v0.5.15 Installed SymbolicUtils ─────────────── v3.29.0 Installed JuliaVariables ────────────── v0.2.4 Installed ExprTools ─────────────────── v0.1.10 Installed Functors ──────────────────── v0.5.2 Installed SymbolicIndexingInterface ─── v0.3.42 Installed ArrayInterface ────────────── v7.19.0 Installed StatsBase ─────────────────── v0.34.5 Installed GATlab ────────────────────── v0.1.6 Installed DynamicPolynomials ────────── v0.6.2 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed Compat ────────────────────── v4.17.0 Installed OrderedCollections ────────── v1.8.1 Installed Combinatorics ─────────────── v1.0.3 Installed Krylov ────────────────────── v0.10.1 Installed PreallocationTools ────────── v0.4.29 Installed EarCut_jll ────────────────── v2.2.4+0 Installed DataAPI ───────────────────── v1.16.0 Installed MeshIO ────────────────────── v0.5.3 Installed Statistics ────────────────── v1.11.1 Installed LazyArrays ────────────────── v2.6.2 Installed ExproniconLite ────────────── v0.10.14 Installed TetGen ────────────────────── v2.0.0 Installed PrecompileTools ───────────── v1.3.2 Installed StatsAPI ──────────────────── v1.7.1 Installed Atomix ────────────────────── v1.1.1 Installed Measures ──────────────────── v0.3.2 Installed DataValueInterfaces ───────── v1.0.0 Installed CommonSubexpressions ──────── v0.3.1 Installed TimerOutputs ──────────────── v0.5.29 Installed TaskLocalValues ───────────── v0.1.3 Installed Colors ────────────────────── v0.13.1 Installed FileIO ────────────────────── v1.17.0 Installed StaticArraysCore ──────────── v1.4.3 Installed StaticArrays ──────────────── v1.9.14 Installed PrettyPrint ───────────────── v0.2.0 Installed ChainRulesCore ────────────── v1.25.2 Installed IrrationalConstants ───────── v0.2.4 Installed MultivariatePolynomials ───── v0.5.9 Installed PEG ───────────────────────── v1.0.4 Installed StaticArrayInterface ──────── v1.8.0 Installed DiagrammaticEquations ─────── v0.2.0 Installed ColorTypes ────────────────── v0.12.1 Installed StringManipulation ────────── v0.4.1 Installed NaNMath ───────────────────── v1.1.3 Installed JSON3 ─────────────────────── v1.14.3 Installed Requires ──────────────────── v1.3.1 Installed OpenSpecFun_jll ───────────── v0.5.6+0 Installed ArrayLayouts ──────────────── v1.11.2 Installed DiffRules ─────────────────── v1.15.1 Installed LogExpFunctions ───────────── v0.3.29 Installed PrettyTables ──────────────── v2.4.0 Installed JSON ──────────────────────── v0.21.4 Installed Parsers ───────────────────── v2.8.3 Installed IfElse ────────────────────── v0.1.1 Installed Parameters ────────────────── v0.12.3 Installed GeneralizedGenerated ──────── v0.3.3 Installed WeakValueDicts ────────────── v0.1.0 Installed UnsafeAtomics ─────────────── v0.3.0 Installed KernelAbstractions ────────── v0.9.38 Installed PtrArrays ─────────────────── v1.3.0 Installed XML2_jll ──────────────────── v2.14.4+0 Installed Tables ────────────────────── v1.12.1 Installed SpecialFunctions ──────────── v2.5.1 Installed TetGen_jll ────────────────── v1.5.3+0 Installed Setfield ──────────────────── v1.1.2 Installed Reexport ──────────────────── v1.2.2 Installed InverseFunctions ──────────── v0.1.17 Installed MutableArithmetics ────────── v1.6.4 ┌ Warning: tarball content does not match git-tree-sha1 └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:845 Installed Missings ──────────────────── v1.2.0 Installed FixedPointNumbers ─────────── v0.8.5 Installed Static ────────────────────── v1.2.0 Installed Preferences ───────────────── v1.4.3 Installed StructEquality ────────────── v2.1.0 Installed Permutations ──────────────── v0.4.23 Installed JLLWrappers ───────────────── v1.7.1 Installed TableTraits ───────────────── v1.0.1 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed LaTeXStrings ──────────────── v1.4.0 Installed GeometryBasics ────────────── v0.5.10 Installed Crayons ───────────────────── v4.1.1 Installed UnPack ────────────────────── v1.0.2 Installed StructTypes ───────────────── v1.11.0 Installed IterTools ─────────────────── v1.10.0 Installed CombinatorialSpaces ───────── v0.7.9 Installed MLStyle ───────────────────── v0.4.17 Installed SortingAlgorithms ─────────── v1.2.1 Installed DocStringExtensions ───────── v0.9.5 Installed Accessors ─────────────────── v0.1.42 Installed Compose ───────────────────── v0.9.6 Installed Catlab ────────────────────── v0.16.20 Installed Decapodes ─────────────────── v0.6.2 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Installed ACSets ────────────────────── v0.2.24 Installing 11 artifacts Installed artifact point_map 2.1 KiB Installed artifact Rectangle_30x10 29.4 KiB Installed artifact all_meshes 156.1 KiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact EarCut 80.5 KiB Installed artifact all_meshes2 55.4 KiB Installed artifact Torus_30x10 292.4 KiB Installed artifact TetGen 296.4 KiB Installed artifact Libiconv 1.9 MiB Installed artifact XML2 2.5 MiB Installed artifact icospheres1 4.1 MiB Updating `~/.julia/environments/v1.13/Project.toml` [679ab3ea] + Decapodes v0.6.2 Updating `~/.julia/environments/v1.13/Manifest.toml` [227ef7b5] + ACSets v0.2.24 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.42 [79e6a3ab] + Adapt v4.3.0 [23cfdc9f] + AlgebraicInterfaces v0.1.4 [66dad0bd] + AliasTables v1.1.3 [4fba245c] + ArrayInterface v7.19.0 [4c555306] + ArrayLayouts v1.11.2 [a9b6321e] + Atomix v1.1.1 [e2ed5e7c] + Bijections v0.2.2 [134e5e36] + Catlab v0.16.20 [d360d2e6] + ChainRulesCore v1.25.2 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.1 [b1c52339] + CombinatorialSpaces v0.7.9 [861a8166] + Combinatorics v1.0.3 [bbf7d656] + CommonSubexpressions v0.3.1 [f70d9fcc] + CommonWorldInvalidations v1.0.0 [0fb5dd42] + CompTime v0.1.2 [34da2185] + Compat v4.17.0 [b0b7db55] + ComponentArrays v0.15.29 [a81c6b42] + Compose v0.9.6 [a33af91c] + CompositionsBase v0.1.2 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [679ab3ea] + Decapodes v0.6.2 [6f00c28b] + DiagrammaticEquations v0.2.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [7c1d4256] + DynamicPolynomials v0.6.2 [e2ba6199] + ExprTools v0.1.10 [55351af7] + ExproniconLite v0.10.14 [411431e0] + Extents v0.1.6 [5789e2e9] + FileIO v1.17.0 [1a297f60] + FillArrays v1.13.0 [53c48c17] + FixedPointNumbers v0.8.5 [f6369f11] + ForwardDiff v1.0.1 [d9f16b24] + Functors v0.5.2 ⌅ [f0ffcf3b] + GATlab v0.1.6 [6b9d7cbe] + GeneralizedGenerated v0.3.3 [5c1252a2] + GeometryBasics v0.5.10 [615f187c] + IfElse v0.1.1 [3587e190] + InverseFunctions v0.1.17 [92d709cd] + IrrationalConstants v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [b14d175d] + JuliaVariables v0.2.4 [63c18a36] + KernelAbstractions v0.9.38 [ba0b0d4f] + Krylov v0.10.1 [b964fa9f] + LaTeXStrings v1.4.0 [5078a376] + LazyArrays v2.6.2 [9c8b4983] + LightXML v0.9.2 [2ab3a3ac] + LogExpFunctions v0.3.29 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [442fdcdd] + Measures v0.3.2 [7269a6da] + MeshIO v0.5.3 [e1d29d7a] + Missings v1.2.0 [102ac46a] + MultivariatePolynomials v0.5.9 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [71a1bf82] + NameResolution v0.1.5 [bac558e1] + OrderedCollections v1.8.1 [12d937ae] + PEG v1.0.4 [d96e819e] + Parameters v0.12.3 [69de0a69] + Parsers v2.8.3 [2ae35dd2] + Permutations v0.4.23 [d236fae5] + PreallocationTools v0.4.29 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [8162dcfd] + PrettyPrint v0.2.0 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [7e49a35a] + RuntimeGeneratedFunctions v0.5.15 [efcf1570] + Setfield v1.1.2 [a2af1166] + SortingAlgorithms v1.2.1 [276daf66] + SpecialFunctions v2.5.1 [aedffcd0] + Static v1.2.0 [0d7ed370] + StaticArrayInterface v1.8.0 [90137ffa] + StaticArrays v1.9.14 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.5 [892a3eda] + StringManipulation v0.4.1 [6ec83bb0] + StructEquality v2.1.0 [856f2bd8] + StructTypes v1.11.0 [2efcf032] + SymbolicIndexingInterface v0.3.42 [d1185830] + SymbolicUtils v3.29.0 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [c5d3f3f7] + TetGen v2.0.0 [a759f4b9] + TimerOutputs v0.5.29 [3a884ed6] + UnPack v1.0.2 [a7c27f48] + Unityper v0.1.6 [013be700] + UnsafeAtomics v0.3.0 [897b6980] + WeakValueDicts v0.1.0 [5ae413db] + EarCut_jll v2.2.4+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [b47fdcd6] + TetGen_jll v1.5.3+0 [02c8fc9c] + XML2_jll v2.14.4+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [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.13.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.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.3.0+1 [deac9b47] + LibCURL_jll v8.14.1+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.7.15 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.1+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 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 22.0s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling packages... 1034.8 ms ✓ TermInterface 906.4 ms ✓ Bijections 1073.2 ms ✓ DocStringExtensions 774.2 ms ✓ DataValueInterfaces 2194.6 ms ✓ IrrationalConstants 3639.9 ms ✓ ExproniconLite 830.8 ms ✓ LaTeXStrings 798.9 ms ✓ UnPack 1997.3 ms ✓ Combinatorics 1160.5 ms ✓ Requires 1070.7 ms ✓ ConstructionBase 1080.0 ms ✓ Statistics 1002.1 ms ✓ Extents 1091.7 ms ✓ AbstractTrees 832.1 ms ✓ DataAPI 793.4 ms ✓ StatsAPI 26700.7 ms ✓ MLStyle 760.4 ms ✓ TaskLocalValues 4160.1 ms ✓ MacroTools 1152.4 ms ✓ OrderedCollections 724.0 ms ✓ IteratorInterfaceExtensions 2214.8 ms ✓ Crayons 1084.8 ms ✓ Measures 882.4 ms ✓ IfElse 1841.9 ms ✓ FillArrays 845.0 ms ✓ ExprTools 727.4 ms ✓ AlgebraicInterfaces 782.9 ms ✓ PtrArrays 760.8 ms ✓ CommonWorldInvalidations 871.0 ms ✓ StaticArraysCore 755.5 ms ✓ Reexport 903.4 ms ✓ PrettyPrint 1266.1 ms ✓ IterTools 822.3 ms ✓ CompositionsBase 908.7 ms ✓ InverseFunctions 837.5 ms ✓ PEG 829.4 ms ✓ WeakValueDicts 3691.2 ms ✓ UnsafeAtomics 965.8 ms ✓ NaNMath 13758.9 ms ✓ Krylov 1510.0 ms ✓ StructTypes 987.9 ms ✓ Preferences 1133.3 ms ✓ Compat 9640.4 ms ✓ MutableArithmetics 1304.6 ms ✓ LogExpFunctions 1086.6 ms ✓ Permutations 882.8 ms ✓ Adapt 8056.7 ms ✓ FileIO 810.7 ms ✓ ConstructionBase → ConstructionBaseLinearAlgebraExt 1274.2 ms ✓ Statistics → SparseArraysExt 4140.7 ms ✓ FixedPointNumbers 1198.1 ms ✓ Missings 1647.6 ms ✓ CommonSubexpressions 10543.2 ms ✓ CompTime 864.5 ms ✓ Parameters 855.9 ms ✓ TableTraits 1148.8 ms ✓ FillArrays → FillArraysStatisticsExt 1389.9 ms ✓ FillArrays → FillArraysSparseArraysExt 892.1 ms ✓ RuntimeGeneratedFunctions 2855.8 ms ✓ TimerOutputs 945.6 ms ✓ AliasTables 836.7 ms ✓ DiffResults 817.1 ms ✓ NameResolution 1336.1 ms ✓ InverseFunctions → InverseFunctionsTestExt 844.9 ms ✓ InverseFunctions → InverseFunctionsDatesExt 801.5 ms ✓ CompositionsBase → CompositionsBaseInverseFunctionsExt 934.1 ms ✓ Atomix 866.5 ms ✓ PrecompileTools 1133.1 ms ✓ JLLWrappers 863.5 ms ✓ Compat → CompatLinearAlgebraExt 802.0 ms ✓ LogExpFunctions → LogExpFunctionsInverseFunctionsExt 1241.6 ms ✓ Adapt → AdaptSparseArraysExt 1120.8 ms ✓ ArrayInterface 1217.4 ms ✓ Unityper 2784.8 ms ✓ Setfield 2826.1 ms ✓ ColorTypes 1702.5 ms ✓ Tables 12669.0 ms ✓ JuliaVariables 5219.9 ms ✓ Accessors 3240.4 ms ✓ StringManipulation 13776.5 ms ✓ StaticArrays 19513.1 ms ✓ Parsers 1761.0 ms ✓ Static 1510.4 ms ✓ OpenSpecFun_jll 1480.2 ms ✓ TetGen_jll 1515.8 ms ✓ Libiconv_jll 1464.8 ms ✓ EarCut_jll 2149.2 ms ✓ ChainRulesCore 1323.2 ms ✓ Functors 919.2 ms ✓ StructEquality 3721.4 ms ✓ DataStructures 1215.8 ms ✓ ArrayInterface → ArrayInterfaceSparseArraysExt 758.5 ms ✓ ArrayInterface → ArrayInterfaceStaticArraysCoreExt 8297.5 ms ✓ Colors 1044.3 ms ✓ ColorTypes → StyledStringsExt 2474.7 ms ✓ Accessors → LinearAlgebraExt 1494.9 ms ✓ Accessors → TestExt 29487.1 ms ✓ PrettyTables 1279.3 ms ✓ StaticArrays → StaticArraysStatisticsExt 1355.7 ms ✓ ConstructionBase → ConstructionBaseStaticArraysExt 22787.0 ms ✓ ArrayLayouts 1258.8 ms ✓ Adapt → AdaptStaticArraysExt 1124.3 ms ✓ Accessors → StaticArraysExt 13937.3 ms ✓ JSON3 4248.9 ms ✓ JSON 2891.0 ms ✓ StaticArrayInterface 5718.3 ms ✓ SpecialFunctions 1738.3 ms ✓ XML2_jll 21944.3 ms ✓ GeometryBasics 1418.2 ms ✓ ChainRulesCore → ChainRulesCoreSparseArraysExt 3494.5 ms ✓ LogExpFunctions → LogExpFunctionsChainRulesCoreExt 855.4 ms ✓ ArrayInterface → ArrayInterfaceChainRulesCoreExt 1311.9 ms ✓ StaticArrays → StaticArraysChainRulesCoreExt 1369.1 ms ✓ SortingAlgorithms 12459.7 ms ✓ GeneralizedGenerated 4317.1 ms ✓ SymbolicIndexingInterface 3062.8 ms ✓ ArrayLayouts → ArrayLayoutsSparseArraysExt 8156.2 ms ✓ KernelAbstractions 33928.4 ms ✓ ACSets 6281.2 ms ✓ Compose ✗ GATlab 1443.7 ms ✓ StaticArrayInterface → StaticArrayInterfaceStaticArraysExt 4605.4 ms ✓ SpecialFunctions → SpecialFunctionsChainRulesCoreExt 1326.9 ms ✓ DiffRules 1287.0 ms ✓ LightXML 5922.3 ms ✓ TetGen 9838.0 ms ✓ MeshIO 6477.1 ms ✓ MultivariatePolynomials 2092.8 ms ✓ ComponentArrays 4591.9 ms ✓ StatsBase 6740.4 ms ✓ LazyArrays 2277.8 ms ✓ KernelAbstractions → SparseArraysExt 1701.6 ms ✓ KernelAbstractions → LinearAlgebraExt 10335.3 ms ✓ ForwardDiff ✗ Catlab 4061.5 ms ✓ DynamicPolynomials 5675.3 ms ✓ ComponentArrays → ComponentArraysKernelAbstractionsExt 3307.7 ms ✓ LazyArrays → LazyArraysStaticArraysExt 3034.6 ms ✓ ForwardDiff → ForwardDiffStaticArraysExt 4561.7 ms ✓ PreallocationTools 45051.1 ms ✓ SymbolicUtils ✗ CombinatorialSpaces ✗ DiagrammaticEquations ✗ Decapodes 139 dependencies successfully precompiled in 737 seconds. 34 already precompiled. 1 dependency had output during precompilation: ┌ ACSets │ WARNING: Constructor for type "Where" was extended in `Query` without explicit qualification or import. │ NOTE: Assumed "Where" refers to `MLStyle.Where`. This behavior is deprecated and may differ in future versions. │ NOTE: This behavior may have differed in Julia versions prior to 1.12. │ Hint: If you intended to create a new generic function of the same name, use `function Where end`. │ Hint: To silence the warning, qualify `Where` as `MLStyle.Where` in the method signature or explicitly `import MLStyle: Where`. └ ERROR: LoadError: The following 1 direct dependency failed to precompile: Decapodes Failed to precompile Decapodes [679ab3ea-c928-4fe6-8d59-fd451142d391] to "/home/pkgeval/.julia/compiled/v1.13/Decapodes/jl_w7K1mx" (ProcessExited(1)). ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/exprinterop.jl:449 [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/kjAtI/src/syntax/gats/exprinterop.jl:463 [4] fromexpr @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined] [5] theory_impl(head::Symbol, body::Expr, __module__::Module) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77 [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48 [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/kjAtI/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/kjAtI/src/stdlib/module.jl:5 [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [18] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9 [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::String) @ 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/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/gat.jl:35 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/kjAtI/src/syntax/gats/gat.jl:106 [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment}) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/gat.jl:138 [3] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:294 [4] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:359 [5] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol}) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:445 [6] 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/kjAtI/src/syntax/gats/exprinterop.jl:463 [7] fromexpr @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined] [8] theory_impl(head::Symbol, body::Expr, __module__::Module) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77 [9] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48 [10] #macroexpand#22 @ ./expr.jl:203 [inlined] [11] macroexpand @ ./expr.jl:201 [inlined] [12] docm @ ./docs/Docs.jl:647 [inlined] [13] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any) @ Base.Docs ./docs/Docs.jl:647 [14] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any}) @ Core ./boot.jl:766 [15] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool) @ Base ./flfrontend.jl:24 [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [17] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:5 [18] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [19] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:5 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [21] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9 [22] include(mod::Module, _path::String) @ Base ./Base.jl:311 [23] 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::String) @ Base ./loading.jl:3002 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [27] include_string @ ./loading.jl:2858 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [29] _start() @ Base ./client.jl:553 ERROR: LoadError: Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/home/pkgeval/.julia/compiled/v1.13/GATlab/jl_4CBmud" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:15 [21] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [22] top-level scope @ ~/.julia/packages/Catlab/1srGD/src/Catlab.jl:5 [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::String) @ 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 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/Catlab.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_qpji5t" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:5 [21] include(mod::Module, _path::String) @ Base ./Base.jl:311 [22] 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::String) @ Base ./loading.jl:3002 [23] top-level scope @ stdin:5 [24] eval(m::Module, e::Any) @ Core ./boot.jl:489 [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [26] include_string @ ./loading.jl:2858 [inlined] [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [28] _start() @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile DiagrammaticEquations [6f00c28b-6bed-4403-80fa-30e0dc12f317] to "/home/pkgeval/.julia/compiled/v1.13/DiagrammaticEquations/jl_qFI4G8" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:4 [21] include(mod::Module, _path::String) @ Base ./Base.jl:311 [22] 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 [23] top-level scope @ stdin:5 [24] eval(m::Module, e::Any) @ Core ./boot.jl:489 [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [26] include_string @ ./loading.jl:2858 [inlined] [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [28] _start() @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:1 in expression starting at stdin: in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 745.69s ################################################################################ # Loading # Loading Decapodes... Precompiling packages... ✗ GATlab ✗ Catlab ✗ CombinatorialSpaces ✗ DiagrammaticEquations Info Given Decapodes was explicitly requested, output will be shown live  ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/exprinterop.jl:449  [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/kjAtI/src/syntax/gats/exprinterop.jl:463  [4] fromexpr  @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined]  [5] theory_impl(head::Symbol, body::Expr, __module__::Module)  @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77  [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)  @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48  [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/kjAtI/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/kjAtI/src/stdlib/module.jl:5  [17] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:312  [18] top-level scope  @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9  [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::String)  @ 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/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/gat.jl:35  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/kjAtI/src/syntax/gats/gat.jl:106  [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment})  @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/gat.jl:138  [3] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol)  @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:294  [4] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode)  @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:359  [5] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol})  @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:445  [6] 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/kjAtI/src/syntax/gats/exprinterop.jl:463  [7] fromexpr  @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined]  [8] theory_impl(head::Symbol, body::Expr, __module__::Module)  @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77  [9] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any)  @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48  [10] #macroexpand#22  @ ./expr.jl:203 [inlined]  [11] macroexpand  @ ./expr.jl:201 [inlined]  [12] docm  @ ./docs/Docs.jl:647 [inlined]  [13] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any)  @ Base.Docs ./docs/Docs.jl:647  [14] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any})  @ Core ./boot.jl:766  [15] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)  @ Base ./flfrontend.jl:24  [16] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:312  [17] top-level scope  @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:5  [18] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:312  [19] top-level scope  @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:5  [20] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:312  [21] top-level scope  @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9  [22] include(mod::Module, _path::String)  @ Base ./Base.jl:311  [23] 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::String)  @ Base ./loading.jl:3002  [24] top-level scope  @ stdin:5  [25] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2848  [27] include_string  @ ./loading.jl:2858 [inlined]  [28] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:318  [29] _start()  @ Base ./client.jl:553 ERROR: LoadError: Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/home/pkgeval/.julia/compiled/v1.13/GATlab/jl_uBrHyh" (ProcessExited(1)). Stacktrace:  [1] error(s::String)  @ Base ./error.jl:44  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)  @ Base ./loading.jl:3289  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()  @ Base ./loading.jl:2654  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94  [5] #mkpidlock#7  @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined]  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115  [7] #invokelatest_gr#235  @ ./reflection.jl:1333 [inlined]  [8] invokelatest_gr  @ ./reflection.jl:1325 [inlined]  [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)  @ Base ./loading.jl:3860  [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String)  @ Base ./loading.jl:3857  [11] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2640  [12] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2468  [13] macro expansion  @ ./loading.jl:2396 [inlined]  [14] macro expansion  @ ./lock.jl:376 [inlined]  [15] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2360  [16] require  @ ./loading.jl:2336 [inlined]  [17] eval_import_path  @ ./module.jl:36 [inlined]  [18] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [19] _eval_using(to::Module, path::Expr)  @ Base ./module.jl:137  [20] top-level scope  @ ~/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:15  [21] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:312  [22] top-level scope  @ ~/.julia/packages/Catlab/1srGD/src/Catlab.jl:5  [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::String)  @ 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 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/Catlab.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_qHRTm8" (ProcessExited(1)). Stacktrace:  [1] error(s::String)  @ Base ./error.jl:44  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)  @ Base ./loading.jl:3289  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()  @ Base ./loading.jl:2654  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94  [5] #mkpidlock#7  @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined]  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115  [7] #invokelatest_gr#235  @ ./reflection.jl:1333 [inlined]  [8] invokelatest_gr  @ ./reflection.jl:1325 [inlined]  [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)  @ Base ./loading.jl:3860  [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String)  @ Base ./loading.jl:3857  [11] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2640  [12] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2468  [13] macro expansion  @ ./loading.jl:2396 [inlined]  [14] macro expansion  @ ./lock.jl:376 [inlined]  [15] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2360  [16] require  @ ./loading.jl:2336 [inlined]  [17] eval_import_path  @ ./module.jl:36 [inlined]  [18] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [19] _eval_using(to::Module, path::Expr)  @ Base ./module.jl:137  [20] top-level scope  @ ~/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:5  [21] include(mod::Module, _path::String)  @ Base ./Base.jl:311  [22] 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::String)  @ Base ./loading.jl:3002  [23] top-level scope  @ stdin:5  [24] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2848  [26] include_string  @ ./loading.jl:2858 [inlined]  [27] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:318  [28] _start()  @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile DiagrammaticEquations [6f00c28b-6bed-4403-80fa-30e0dc12f317] to "/home/pkgeval/.julia/compiled/v1.13/DiagrammaticEquations/jl_lvFAEB" (ProcessExited(1)). Stacktrace:  [1] error(s::String)  @ Base ./error.jl:44  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)  @ Base ./loading.jl:3289  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()  @ Base ./loading.jl:2654  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94  [5] #mkpidlock#7  @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined]  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})  @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115  [7] #invokelatest_gr#235  @ ./reflection.jl:1333 [inlined]  [8] invokelatest_gr  @ ./reflection.jl:1325 [inlined]  [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)  @ Base ./loading.jl:3860  [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String)  @ Base ./loading.jl:3857  [11] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2640  [12] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2468  [13] macro expansion  @ ./loading.jl:2396 [inlined]  [14] macro expansion  @ ./lock.jl:376 [inlined]  [15] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2360  [16] require  @ ./loading.jl:2336 [inlined]  [17] eval_import_path  @ ./module.jl:36 [inlined]  [18] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [19] _eval_using(to::Module, path::Expr)  @ Base ./module.jl:137  [20] top-level scope  @ ~/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:4  [21] include(mod::Module, _path::String)  @ Base ./Base.jl:311  [22] 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  [23] top-level scope  @ stdin:5  [24] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2848  [26] include_string  @ ./loading.jl:2858 [inlined]  [27] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:318  [28] _start()  @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:1 in expression starting at stdin:5 ✗ Decapodes 0 dependencies successfully precompiled in 178 seconds. 173 already precompiled. ERROR: The following 1 direct dependency failed to precompile: Decapodes Failed to precompile Decapodes [679ab3ea-c928-4fe6-8d59-fd451142d391] to "/home/pkgeval/.julia/compiled/v1.13/Decapodes/jl_MwIcny" (ProcessExited(1)). ERROR: LoadError: error parsing expression Ob::TYPE ⊣ [] at line #= /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/exprinterop.jl:449 [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/kjAtI/src/syntax/gats/exprinterop.jl:463 [4] fromexpr @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined] [5] theory_impl(head::Symbol, body::Expr, __module__::Module) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77 [6] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48 [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/kjAtI/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/kjAtI/src/stdlib/module.jl:5 [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [18] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9 [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::String) @ 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/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/categories.jl:9 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:1 in expression starting at /home/pkgeval/.julia/packages/GATlab/kjAtI/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/kjAtI/src/syntax/gats/gat.jl:35 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/kjAtI/src/syntax/gats/gat.jl:106 [2] unsafe_pushbinding!(theory::GATlab.Syntax.GATs.GAT, binding::GATlab.Syntax.Scopes.Binding{GATlab.Syntax.GATs.Judgment}) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/gat.jl:138 [3] parseconstructor!(theory::GATlab.Syntax.GATs.GAT, localcontext::GATlab.Syntax.GATs.TypeScope, type_expr::Symbol, e::Symbol) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:294 [4] parse_binding_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:359 [5] parse_gat_line!(theory::GATlab.Syntax.GATs.GAT, e::Expr, linenumber::LineNumberNode; current_module::Vector{Symbol}) @ GATlab.Syntax.GATs ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:445 [6] 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/kjAtI/src/syntax/gats/exprinterop.jl:463 [7] fromexpr @ ~/.julia/packages/GATlab/kjAtI/src/syntax/gats/exprinterop.jl:453 [inlined] [8] theory_impl(head::Symbol, body::Expr, __module__::Module) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:77 [9] var"@theory"(__source__::LineNumberNode, __module__::Module, head::Any, body::Any) @ GATlab.Syntax.TheoryInterface ~/.julia/packages/GATlab/kjAtI/src/syntax/TheoryInterface.jl:48 [10] #macroexpand#22 @ ./expr.jl:203 [inlined] [11] macroexpand @ ./expr.jl:201 [inlined] [12] docm @ ./docs/Docs.jl:647 [inlined] [13] docm(source::LineNumberNode, mod::Module, meta::Any, ex::Any) @ Base.Docs ./docs/Docs.jl:647 [14] var"@doc"(__source__::LineNumberNode, __module__::Module, x::Vararg{Any}) @ Core ./boot.jl:766 [15] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool) @ Base ./flfrontend.jl:24 [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [17] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/theories/module.jl:5 [18] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [19] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/stdlib/module.jl:5 [20] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [21] top-level scope @ ~/.julia/packages/GATlab/kjAtI/src/GATlab.jl:9 [22] include(mod::Module, _path::String) @ Base ./Base.jl:311 [23] 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::String) @ Base ./loading.jl:3002 [24] top-level scope @ stdin:5 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [27] include_string @ ./loading.jl:2858 [inlined] [28] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [29] _start() @ Base ./client.jl:553 ERROR: LoadError: Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/home/pkgeval/.julia/compiled/v1.13/GATlab/jl_uBrHyh" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:15 [21] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:312 [22] top-level scope @ ~/.julia/packages/Catlab/1srGD/src/Catlab.jl:5 [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::String) @ 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 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/theories/Theories.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/1srGD/src/Catlab.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_qHRTm8" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:5 [21] include(mod::Module, _path::String) @ Base ./Base.jl:311 [22] 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::String) @ Base ./loading.jl:3002 [23] top-level scope @ stdin:5 [24] eval(m::Module, e::Any) @ Core ./boot.jl:489 [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [26] include_string @ ./loading.jl:2858 [inlined] [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [28] _start() @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/DiagrammaticEquations/yBykN/src/DiagrammaticEquations.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile DiagrammaticEquations [6f00c28b-6bed-4403-80fa-30e0dc12f317] to "/home/pkgeval/.julia/compiled/v1.13/DiagrammaticEquations/jl_lvFAEB" (ProcessExited(1)). Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3289 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2654 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:94 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:89 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:115 [7] #invokelatest_gr#235 @ ./reflection.jl:1333 [inlined] [8] invokelatest_gr @ ./reflection.jl:1325 [inlined] [9] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3860 [10] maybe_cachefile_lock(f::Function, pkg::Base.PkgId, srcpath::String) @ Base ./loading.jl:3857 [11] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2640 [12] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2468 [13] macro expansion @ ./loading.jl:2396 [inlined] [14] macro expansion @ ./lock.jl:376 [inlined] [15] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2360 [16] require @ ./loading.jl:2336 [inlined] [17] eval_import_path @ ./module.jl:36 [inlined] [18] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [19] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [20] top-level scope @ ~/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:4 [21] include(mod::Module, _path::String) @ Base ./Base.jl:311 [22] 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 [23] top-level scope @ stdin:5 [24] eval(m::Module, e::Any) @ Core ./boot.jl:489 [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [26] include_string @ ./loading.jl:2858 [inlined] [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [28] _start() @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/Decapodes/RRL4F/src/Decapodes.jl:1 in expression starting at stdin: Loading failed after 180.43s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using Decapodes'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error @ ./process.jl:602 [inlined] [2] run(::Cmd; wait::Bool) @ Base ./process.jl:517 [3] run(::Cmd) @ Base ./process.jl:514 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:193 [5] include(mod::Module, _path::String) @ Base ./Base.jl:311 [6] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [7] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:184 PkgEval failed after 968.63s: package fails to precompile