Bad error message for attribute sections with indeterminate nonterminal type

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

58 stars 7 forks source link

Open RandomActsOfGrammar opened 4 months ago

RandomActsOfGrammar commented 4 months ago

I get

error: 'x' has type a and cannot have attributes.

from

map((.pp), importedIndRels)

when importedIndRels is not defined. The location is (.pp), specifically.

My guess is attribute sections are implemented using antiquotation for forwarding with the name x and do not check the types before forwarding.