Re: Free'ing extended types

[bobduff@world.std.com (Robert A Duff)]

In article <4xrat6vlse.fsf@lagrange.enst-bretagne.fr>,
Laurent Guerby <Laurent.Guerby@enst-bretagne.fr> wrote:
>   If another Ada  compiler use different  pools for the  types in the
>example, as permitted by the  RM 13.11(17), then  the execution of the
>construct is erroneous. Then, of course, it can just work, don't work,
>crash your disk or nicely dies with Program_Error ;-).

Yes, but let's not get too alarmed, here.  If "type Acc1 is access all
T1'Class;" and "type Acc2 is access all T2'Class;", where T2 is a type
extension of T1 (both tagged, of course), then we know (from
accessibility rules) that these two are at the same nesting level, so I
can't imagine any *reason* for the implementation to choose two
different storage pools for Acc1 and Acc2.

In retrospect, I admit we should have *required* Acc1 and Acc2 to share
the same pool.  But if no compiler writers show up saying they don't,
why worry about it?  (And if they do, perhaps the ARG ought to make a
ruling on this point.)

- Bob