From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5130eb23a7a191d4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.25.194 with SMTP id e2mr342065pbg.7.1320687446897;
        Mon, 07 Nov 2011 09:37:26 -0800 (PST)
Path: 
 h5ni9380pba.0!nntp.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe21.iad.POSTED!00000000!not-for-mail
From: Brad Moore <brad.moore@shaw.ca>
User-Agent: Mozilla/5.0 (Windows NT 6.1;
 rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: ANNOUNCE: Deepend 2.6 for GNAT and ICC Ada 2005 compilers
References: <WcJtq.8476$V07.5484@newsfe22.iad>
In-Reply-To: <WcJtq.8476$V07.5484@newsfe22.iad>
Message-ID: <qHUtq.20291$v_4.16421@newsfe21.iad>
NNTP-Posting-Host: 184.64.75.84
X-Complaints-To: internet.abuse@sjrb.ca
X-Trace: newsfe21.iad 1320687446 184.64.75.84 (Mon, 07 Nov 2011 17:37:26 UTC)
NNTP-Posting-Date: Mon, 07 Nov 2011 17:37:26 UTC
Date: Mon, 07 Nov 2011 10:37:18 -0700
Xref: news2.google.com comp.lang.ada:14326
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2011-11-07T10:37:18-07:00
List-Id: <comp.lang.ada>

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.