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

Fix implicit conversion for union types with `AttrVar` #783

Closed mehalter closed 1 year ago

github-actions[bot] commented 1 year ago

Review Checklist

Does this PR follow the development guidelines? Following is a partial checklist:

Tests

Documentation

Other

mehalter commented 1 year ago

@epatters I updated one of the tests to test this. I also verified that with the test updates the tests fail on the current master branch