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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5dacec64c8c879fa
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.238.198 with SMTP id vm6mr633533pbc.3.1328771606717;
        Wed, 08 Feb 2012 23:13:26 -0800 (PST)
Path: 
 wr5ni4016pbc.0!nntp.google.com!news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!fdn.fr!feeder.news.orange.fr!not-for-mail
Message-ID: <4F337215.3050802@obry.net>
Date: Thu, 09 Feb 2012 08:13:25 +0100
From: Pascal Obry <pascal@obry.net>
Organization: Home - http://www.obry.net
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; fr-FR;
 rv:1.8.1.22) Gecko/20090605 Thunderbird/2.0.0.22 Mnenhy/0.7.5.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
To: Randy Brukardt <randy@rrsoftware.com>
Subject: Re: Preventing Unchecked_Deallocation?
References: 
 <33a35da4-6c3e-4ab4-b58f-a9d73565d79a@t30g2000vbx.googlegroups.com>
 <ad427e2f-efdb-4e34-b4cf-ee55a3f8e9f5@f14g2000yqe.googlegroups.com>
 <f4c34323-d0d8-4315-aaaa-31c0119e2ba4@n6g2000vbz.googlegroups.com>
 <jgqg6s$oaj$1@adenine.netfront.net>
 <ca07bff2-cb4f-4cd4-a191-249cb229840b@c20g2000vbb.googlegroups.com>
 <jgvcm4$1o1$1@munin.nbi.dk>
In-Reply-To: <jgvcm4$1o1$1@munin.nbi.dk>
NNTP-Posting-Date: 09 Feb 2012 08:13:25 CET
NNTP-Posting-Host: 90.2.73.226
X-Trace: 1328771605 reader.news.orange.fr 21451 90.2.73.226:12375
X-Complaints-To: abuse@orange.fr
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Date: 2012-02-09T08:13:25+01:00
List-Id: <comp.lang.ada>


Randy,

> My personal theory is the only reason for an Ada 95 program to use "access" 
> in a specification is to get the effect of "in out" parameters for 
> functions, and that's finally fixed for Ada 2012. I don't think there *ever* 

You also need access type for the Distributed Annex. And this is still
needed with Ada 2012 and will probably forever. But we also want to
distinguish between access type and dynamic allocation. My distributed
application have access types but no dynamic allocation.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B