🚀 go-pugleaf

>>>>> On 16 Dec 92 04:21:18 GMT, pnori@lsi-j.co.jp (Pochi NORIMATSU) said:
pnori> In article <1992Dec15.011359.17235@lucid.com> jss@lucid.com (Jerry Schwarz) writes:
jss> The grammar
jss> doesn't contain any rules that derive a declarator starting with "::".
jss> And that omission is deliberate.

pnori> But in ARM section 8.2.3, it says that the declarator representing a
pnori> pointer to members has the form

pnori> 	complete-class-name :: * cv-qualifier-list<opt> D1

pnori> And complete-class-name can start with ::. Or is it typo?

Do you have a version of the ARM different than mine (1990, 
ISBN 0-201-51459-1...)?

In my book it reads in section 8.2.3, p 135:

	class-name :: * cv-qualifier-list<opt> D1

and class-name is just identifier (17.1 p 387)

when (p 392)
	complete-class-name:
		qualified-class-name
		:: qualified-class-name

and
	qualified-class-name:
		typedef-name
		class-name :: qualified-class-name

--
+-----------------------------------------------------------------------------+
| Marc Girod - Nokia Telecommunications       Phone: +358-0-511 7703          |
| TL4E - P.O. Box 12                            Fax: +358-0-511 7432          |
| SF-02611 Espoo 61 - Finland              Internet: marc.girod@ntc.nokia.com |
|    X.400: C=FI, A=Elisa, P=Nokia Telecom, UNIT=TRS, SUR=Girod, GIV=Marc     |
+-----------------------------------------------------------------------------+