From: "John B. Matthews" <nospam@nospam.invalid>
Subject: Re: Protected object which never get finalized
Date: Mon, 15 Feb 2010 19:23:11 -0500
Date: 2010-02-15T19:23:11-05:00 [thread overview]
Message-ID: <nospam-30F970.19231115022010@news.aioe.org> (raw)
In-Reply-To: op.u76wltl8hgxj9a@garhos
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>
prev parent reply other threads:[~2010-02-16 0:23 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-13 0:45 Protected object which never get finalized Hibou57 (Yannick Duchêne)
2010-02-14 12:35 ` John B. Matthews
2010-02-15 18:08 ` sjw
2010-02-15 19:22 ` Hibou57 (Yannick Duchêne)
2010-02-15 19:20 ` Hibou57 (Yannick Duchêne)
2010-02-15 20:23 ` John B. Matthews
2010-02-15 20:44 ` Adam Beneschan
2010-02-15 22:26 ` Hibou57 (Yannick Duchêne)
2010-02-16 0:23 ` John B. Matthews [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox