search

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

monoid local/production attrs #781

Open remexre opened 1 year ago

remexre commented 1 year ago

eg. monoid local tyckErrors :: [Message]; forwards to local tyckErrors :: [Message] with mappend := mempty;

krame505 commented 12 months ago

Minor note, if we add this I think I'd prefer local monoid and production monoid over monoid local and monoid production. Seems nicer to put the visibility first, like public final int foo; rather than final public int foo;