Re: ANNOUNCE: Deepend 2.6 for GNAT and ICC Ada 2005 compilers

[Brad Moore <brad.moore@shaw.ca>]

A minor correction to the announcement.
I said:
>                                       The Dynamic_Pools package
> is designed to closely align with the Ada 2012 proposal, except
> that it works for Ada 2005, and doesn't support deallocation of
> fat pointers, or controlled types.

Actually, the limitation is that fat pointers
(access to objects of unconstrained types) cannot be allocated to 
subpools, but they can be allocated to a deepend pool using the "new"
operator. Controlled types can be allocated to subpools, but it is 
erroneous to cause the finalization of these objects to occur before
they would have otherwise been finalized, such as when the access type
is finalized. It is otherwise OK to allocate controlled types to 
subpools, but recommended that they instead be allocated to the pool,
using the "new" operator. Similarly, allocated task objects cannot be
finalized earlier than when they would have ordinarily been finalized.

Ada 2012 will provide new syntax for the "new" operator to allow objects 
of unconstrained types to be allocated to subpools, as well as
expose machinery that will allow objects of controlled types to be 
finalized when a subpool is finalized. The limitation for allocated task
objects will remain however.