AlgebraicJulia / AlgebraicJulia/Catlab.jl

`oapply` errors when called on empty wiring diagram.

Ouverte
#802 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
bug
Langage dominant
Julia
Étoiles
724
Forks
73
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

I think that this code should create a trivial `OpenGraph`.
```
using Catlab.CategoricalAlgebra, Catlab.Programs, Catlab.Graphs, Catlab.WiringDiagrams

const _, OpenGraph = OpenCSetTypes(Graph, :V)

wd = @relation () begin
end

oapply(wd, OpenGraph[])
```

Instead, it throws an error:
```
MethodError: no method matching colimit(::Type{Tuple{Any, Any}}, ::Catlab.CategoricalAlgebra.FreeDiagrams.BasicBipartiteFreeDiagram{Any, Any})
```

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.