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

Finish long-standing cleanup splitting flow vertices into syn/inh #763

Closed krame505 closed 1 year ago

krame505 commented 1 year ago

Changes

FInish some cleanup to flow vertices that Ted started a while back, before making some big changes for translation attributes.

Also add an option to dump out the graph of grammar exports, needed for debugging an MWDA issue.

Documentation

Updated doc comments.

krame505 commented 1 year ago

Hmm, I guess this fixes a bug in the flow analysis, where we weren't checking for equations for inh attributes that aren't in scope.

krame505 commented 1 year ago

Ugh, this does seem to make the Silver compiler's memory usage a bit worse...