Here is a minimal example that recreates the error:
using Catlab
using DataMigrations
@present SchWithLabel(FreeSchema) begin
X::Ob
Label::AttrType
hasLabel::Attr(X, Label)
end
@acset_type WithLabel(SchWithLabel)
yWithLabel = yoneda(WithLabel{String})
@present SchSplit(FreeSchema) begin
A::Ob
B::Ob
end
@acset_type Split(SchSplit)
M = @migration SchSplit SchWithLabel begin
A => @join begin
x::X
L::Label
(f:x → L)::hasLabel
(A:x → L)::(x -> "A")
end
B => @join begin
x::X
L::Label
(f:x → L)::hasLabel
(A:x → L)::(x -> "B")
end
end
data = @acset_colim yWithLabel begin
x::X
end
result = migrate(Split, data, M)
The ideal behavior is that result is an empty ACSet.
The following MethodError is thrown when attempting to migrating an ACSet that contains AttrVar.
Here is a minimal example that recreates the error:
The ideal behavior is that
resultis an empty ACSet.