We have: <prefix> ::= # empty ::= <substitution>
This implies that we generate a substitution for an empty prefix (and then use that as the base of every subsequent prefix that doesn't start with a <template-param> or <decltype>). This seems wrong to me, and doesn't match current implementation practice. One possible fix: replace "# empty" with "<unqualified-name>", and add "<template unqualified-name>" to the productions for <template-prefix>. This would also remove the ambiguity as to whether ::x is 1x or N1xE. Thoughts?
_______________________________________________ cxx-abi-dev mailing list [email protected] http://sourcerytools.com/cgi-bin/mailman/listinfo/cxx-abi-dev
