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

propagate on default productions doesn't raise a proper error #64

Open krame505 opened 8 years ago

krame505 commented 8 years ago

The only error comes from something to do with annotations, presumable bad things would happen silently if there were no annotations.

tedinski commented 8 years ago

hasFullSignature should help here.

https://github.com/melt-umn/silver/blob/develop/grammars/silver/definition/core/BlockContext.sv

https://github.com/melt-umn/silver/blob/develop/grammars/silver/modification/defaultattr/DefaultAttr.sv#L79