Re: what means the " ' " in use with a record type?

[dewar@gnat.com (Robert Dewar)]

tmoran@acm.org wrote in message news:<Qnfa9.31$O%2.4390056@newssvr14.news.prodigy.com>...
> > if Node were derived from N without any extensions, then x's value could
> > be of either Node or N.
>   A qualified expression is normally only needed when there is an
> ambiguity like this and you need to tell the compiler which you mean.
> But in the case of allocators with initial value, you _always_ have to
> use a qualified expression, regardless of whether there's an ambiguity
> or not.  Why the inconsistency?  For documentation purposes?

No, it is because it is always ambiguous, given you are not allowed to look
inside the aggregate. I suppose you could have a rule that if there is only
one composite type ..... :-)