From 5a11e9135658d299220486819fd96322ef65f905 Mon Sep 17 00:00:00 2001 From: Kevin Arlin Date: Wed, 6 Dec 2023 12:02:52 -0800 Subject: [PATCH] Fix the issue --- src/categorical_algebra/CSets.jl | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/src/categorical_algebra/CSets.jl b/src/categorical_algebra/CSets.jl index adcdd3d7a..e52674155 100644 --- a/src/categorical_algebra/CSets.jl +++ b/src/categorical_algebra/CSets.jl @@ -897,13 +897,17 @@ function pack_limit(::Type{ACS}, diagram, Xs, limits; abstract_product=false, alim = NamedTuple(Dict(map(attrtypes(S)) do at T = attrtype_type(Y, at) apx = VarSet{T}(nparts(Y, at)) - at => Multispan(apx, map(enumerate(cone_objects(diagram))) do (i, X) - v = map(parts(Y,at)) do p - f, c, j = var_reference(Y, at, p) - X[legs(limits[c])[i](j), f] + at => begin + vfs = VarFunction{T}[] + for (i,X) in enumerate(cone_objects(diagram)) + v = map(parts(Y,at)) do p + f, c, j = var_reference(Y, at, p) + X[legs(limits[c])[i](j), f] + end + push!(vfs,VarFunction{T}(v, FinSet(nparts(X, at)))) end - VarFunction{T}(v, FinSet(nparts(X, at))) - end) + Multispan(apx,vfs) + end end)) else alim = NamedTuple()