AlgebraicJulia / Catlab.jl

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

Migrate to Julia v1.9 #770

Closed epatters closed 1 year ago

epatters commented 1 year ago

The varacsets PR (#740) depends on bug fixes only available in Julia v1.9 and so we must require v1.9 before merging that PR. This will, in turn, necessitate a major release of Catlab.

As part of adopting Julia v1.9, we should use the new package extensions feature to eliminate the dependency on Requires.jl.

mehalter commented 1 year ago

@epatters want me to put together a PR for package extensions on Catlab and dropping Requires.jl? I did this recently for AlgebraicPetri.

epatters commented 1 year ago

That would be wonderful, thanks!

epatters commented 1 year ago

Completed by #775. Thanks @mehalter!