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: a07f3367d7,4b758210c0900d03
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!not-for-mail
From: "John B. Matthews" <nospam@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Protected object which never get finalized
Date: Mon, 15 Feb 2010 19:23:11 -0500
Organization: The Wasteland
Message-ID: <nospam-30F970.19231115022010@news.aioe.org>
References: <op.u71i2edlvwnd5a@garhos>
 <nospam-53FA2E.07354714022010@news.aioe.org> <op.u76nzoymvwnd5a@garhos>
 <nospam-2B414A.15231915022010@news.aioe.org> <op.u76wltl8hgxj9a@garhos>
NNTP-Posting-Host: LQJtZWzu+iKlBROuDg+IUg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Xref: g2news1.google.com comp.lang.ada:9260
Date: 2010-02-15T19:23:11-05:00
List-Id: <comp.lang.ada>

In article <op.u76wltl8hgxj9a@garhos>,
 Hibou57 (Yannick Duchêne) <yannick_duchene@yahoo.fr> wrote:

> > is "protected type A_Type" a valid completion of "type A_Type is limited
> > private;" or is that irrelevant?
> Nice reaction (you've asked the good question).
> 
> The way you've worded this question, I guess you have an RM close to  
> hands, so I will give you an answer using formal references :

[ARM 3.2.1(3)]<http://www.adaic.com/standards/05rm/html/RM-3-2-1.html>
[ARM 7.3(4)]<http://www.adaic.com/standards/05rm/html/RM-7-3.html>
[ARM 7.3(6/2)]<http://www.adaic.com/standards/05rm/html/RM-7-3.html>
[ARM 7.5(3/2,4/2)]<http://www.adaic.com/standards/05rm/html/RM-7-5.html>

Thanks, both. I was looking at [ARM 3.11.1] "Completions of 
Declarations" and overlooked [ARM 3.2.1] "Type Declarations".

-- 
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>