🚀 go-pugleaf

In article <PNORI.92Dec16132118@hyperion.lsi-j.co.jp>, pnori@lsi-j.co.jp (Pochi NORIMATSU) writes:
|> In article <1992Dec15.011359.17235@lucid.com> jss@lucid.com (Jerry Schwarz) writes:
jss:
|> >   The grammar
|> >   doesn't contain any rules that derive a declarator starting with "::".
|> >   And that omission is deliberate.


pnori:
|> But in ARM section 8.2.3, it says that the declarator representing a
|> pointer to members has the form
|> 
|> 	complete-class-name :: * cv-qualifier-list<opt> D1
|> 
|> And complete-class-name can start with ::. Or is it typo?


pnori is right.  This grammar path does lead to a declarator that begins
with a "::".  I suspect this is an oversight. Since, as the original
item pointed out, it also leads to an ambiguity it is something the
standards committee should address.  I think it should be made illegal
on the grounds of my original comment.

  -- Jerry Schwarz