From 8a02a2ee033019fd42cc4715323f477fcb1a4c16 Mon Sep 17 00:00:00 2001 From: Kris Brown Date: Wed, 6 Dec 2023 16:08:03 -0800 Subject: [PATCH 1/2] catlab compatibility --- src/models/ModelInterface.jl | 2 +- src/nonstdlib/models/Pushouts.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/models/ModelInterface.jl b/src/models/ModelInterface.jl index 56b1f0d9..deb0d9ad 100644 --- a/src/models/ModelInterface.jl +++ b/src/models/ModelInterface.jl @@ -505,7 +505,7 @@ function make_alias_definitions(theory, theory_module, jltype_by_sort, model_typ for binding in segment alias = getvalue(binding) name = nameof(binding) - if alias isa Alias && nameof(alias.ref) ∉ ext_functions + if alias isa Alias && name ∉ ext_functions for (argsorts, method) in allmethods(theory.resolvers[alias.ref]) args = [(gensym(), jltype_by_sort[sort]) for sort in argsorts] args = if oldinstance diff --git a/src/nonstdlib/models/Pushouts.jl b/src/nonstdlib/models/Pushouts.jl index c91376c6..5c9def88 100644 --- a/src/nonstdlib/models/Pushouts.jl +++ b/src/nonstdlib/models/Pushouts.jl @@ -14,7 +14,7 @@ end using .ThPushout @instance ThPushout{Int, Vector{Int}, PushoutInt} [model::FinSetC] begin - @import Ob, Hom, id, compose, dom, codom + @import Ob, Hom, id, compose, dom, codom, →, ⋅ function pushout(sp::Span; context) B, C = context[:d], context[:c] d = DataStructures.IntDisjointSets(B+C) From 1b897212d0f793fd61c58b94aa8eb29109523843 Mon Sep 17 00:00:00 2001 From: Kris Brown Date: Thu, 7 Dec 2023 10:22:42 -0800 Subject: [PATCH 2/2] bump version --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index bb1fc3d5..1e59b305 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "GATlab" uuid = "f0ffcf3b-d13a-433e-917c-cc44ccf5ead2" authors = ["AlgebraicJulia Developers"] -version = "0.0.8" +version = "0.1.0" [deps] AlgebraicInterfaces = "23cfdc9f-0504-424a-be1f-4892b28e2f0c"