Re: Language lawyer question: Equality on 'Access attributes

["Robert I. Eachus" <rieachus@comcast.net>]

Robert A Duff wrote:

> But anonymous access types are declared by access definitions, not
> uses of 'Access.

Correct, but slightly misleading.  An access definition in a parameter 
or a discriminant declaration creates an anonymous access type.  In a 
type declaration, of course, it creates a non-anonymous access type. 
(I'm becoming more and more convinced that this needs a BI.  I think the 
presence of anonymous access types can cause the example to be illegal. 
  But I am not happy with that position, since the existance of 
anonymous access types shouldn't affect legality in this case. I think 
that was the intent of not having operations for anonymous access types. 
  I just don't think the RM currently covers all the bases.)

-- 
                                           Robert I. Eachus

"The war on terror is a different kind of war, waged capture by capture, 
cell by cell, and victory by victory. Our security is assured by our 
perseverance and by our sure belief in the success of liberty." -- 
George W. Bush