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

Fix omitted case in `leftmost_arg` #816

Closed KevinDCarlson closed 1 year ago

KevinDCarlson commented 1 year ago

Resolves #805 .

The leftmost_arg function that's used to build AST.Apply and AST.Coapplys was missing a case for what to do when giving a composition operator that works in the opposite order of the target AST type.