Implicit monad rewriting ignores annotations

melt-umn / silver

An attribute grammar-based programming language for composable language extensions

http://melt.cs.umn.edu/silver/

GNU Lesser General Public License v3.0

57 stars 7 forks source link

Implicit monad rewriting ignores annotations #776

Closed krame505 closed 1 year ago

krame505 commented 1 year ago

It appears that the implicit monad rewriting simply drops annotations supplied in an application. This is a blocker for #775 since that changes Pair to use annotations in the pair constructor.