Re: Language lawyer question: Equality on 'Access attributes

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:

> Dennis Lee Bieber fed this fish to the penguins on Thursday 08 January 
> 2004 00:30 am:
> 
> 
> > 
> >         3.2.1(7) (at least, in my copy of the reference)
> >
> 
>         Hmmm, surprising -- no comments following this reference, but lots 
> still working on the other parts... are my posts even getting out 
> beyond Earthlink/Netcom?

Yes, I saw your previous post.  3.2.1(7) mentions the idea of anonymous
types, but it doesn't say when they get declared.  You can search the RM
to find them all, or you can look at 3.2.1(7.a) in the AARM.  Anyway,
'Access does *not* declare any anonymous types.  Anonymous access types
are declared when you say "access T" as a parameter or discriminant
type.  But those have nothing to do with the example we're discussing.

- Bob