Re: [Q] non-limited record and "self-pointer"

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Robert I. Eachus <rieachus@comcast.net> wrote:
: Stephen Leake wrote:
: 
: 
:> This definitely looks like a compiler bug. Perhaps because Container
:> is tagged, Read_Only_Set is being labeled "aliased". But that's not in
:> the ARM.
: 
: I don't see that.  3.10(9) says in part: "Finally, the current instance 
: of a limited type, and a formal parameter or generic formal object of a 
: tagged type are defined to be aliased."

Thanks for the answers. Still I wonder what is going on here. In Dan
Eilers' example there is no parameter.  It is just the Controlled
component which seems to make the compiler happy. If the "container"
component is replaced with a component of some tagged type other
than one derived from Controlled, the self reference is not allowed,
according to the compiler.

Am I missing something?


-- Georg