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

Tweak to propagate behavior for unique references #791

Closed krame505 closed 1 year ago

krame505 commented 1 year ago

Changes

Propagate for inherited and threaded attributes did not include unique reference children. However this doesn't seem to be the desired behavior in practice - instead, we want to generate equations for these children as long as the inherited attribute is not already in the reference set.

Documentation

https://github.com/melt-umn/melt-website/pull/54