On Oct 22, 2014, at 3:13 PM, Richard Smith <[email protected]> wrote: > 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?
Sounds like a good fix to me. John. _______________________________________________ cxx-abi-dev mailing list [email protected] http://sourcerytools.com/cgi-bin/mailman/listinfo/cxx-abi-dev
