You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The errors are happening in CI and I can also reproduce them locally.
CSets: Error During Test at /home/runner/work/Catlab.jl/Catlab.jl/test/categorical_algebra/CSets.jl:350
Test threw exception
Expression: ob(terminal(VELabeledGraph; loose = true)) == cycle_graph(VELabeledGraph{Tuple{}}, 1; E = (; elabel = [()]), V = (; vlabel = [()]))
MethodError: no method matching limit(::Type{Tuple{Main.TestCategoricalAlgebra.TestCSets.VELabeledGraph, Catlab.CategoricalAlgebra.CSets.LooseACSetTransformation}}, ::Catlab.CategoricalAlgebra.FreeDiagrams.EmptyDiagram{Main.TestCategoricalAlgebra.TestCSets.VELabeledGraph, Catlab.CategoricalAlgebra.CSets.LooseACSetTransformation, StaticArraysCore.SVector{0, Main.TestCategoricalAlgebra.TestCSets.VELabeledGraph}})
The function `limit` exists, but no method is defined for this combination of argument types.
Closest candidates are:
limit(::Type{Tuple{ACS, Hom}}, ::Any; product_attrs) where {S, Ts, ACS<:(ACSets.DenseACSets.StructACSet{S, Ts}), Hom<:Catlab.CategoricalAlgebra.CSets.LooseACSetTransformation}
@ Catlab ~/work/Catlab.jl/Catlab.jl/src/categorical_algebra/CSets.jl:837
limit(::Any, ::Nothing; kw...)
@ Catlab ~/work/Catlab.jl/Catlab.jl/src/categorical_algebra/Limits.jl:133
limit(::Type{<:Tuple{ACS, Catlab.CategoricalAlgebra.CSets.CSetTransformation}}, ::Any; attrfun) where {S, ACS<:(ACSets.DenseACSets.StructACSet{S})}
@ Catlab ~/work/Catlab.jl/Catlab.jl/src/categorical_algebra/CSets.jl:814
...
The errors are happening in CI and I can also reproduce them locally.
Also:
The text was updated successfully, but these errors were encountered: