AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608 stars 58 forks source link

Missing ACSetsGATsInterop methods #901

Closed kris-brown closed 5 months ago

kris-brown commented 5 months ago

The current ACSetsGATsInterop file does not indicate how subpart called with a specific part (e.g. Int, Vector{Int}, Colon) behaves with respect to id or generator GATExprs. This PR adds this in.

This is necessary for compatibility with https://github.com/AlgebraicJulia/ACSets.jl/pull/130