Re: Free'ing dynamic abstract tagged types..

["Alex R. Mosteo" <devnull@mailinator.com>]

Randy Brukardt wrote:

(snip) 
> Since you can't add Controlled to an inheritance tree after the fact, I
> think that *all* tagged type trees should be derived from Controlled or
> Limited_Controlled. (Otherwise, you're saying that the extensions don't
> need any clean-up, which is likely to be constraining.)

This is something I've wondered some times with the introduction of
interfaces in Ada05: Could not have been defined in Ada.Finalization a
corresponding interface? This way objects not rooted at Controlled could
later easily add finalization.