>>>>> Alex Samuel <samuel at codesourcery.com> writes: > The innermost <component> is `1D', the next is `1C', and the outermost > one is a <local-name> for foo, I think. This is clearly not > necessary, since the we've already encoded foo up front. Why not just put the foo inside the nested-name, rather than using the local-name production for local types? Jason