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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.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.ecp.fr!aioe.org!not-for-mail
From: =?iso-8859-15?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Protected object which never get finalized
Date: Mon, 15 Feb 2010 20:20:02 +0100
Organization: At Home
Message-ID: <op.u76nzoymvwnd5a@garhos>
References: <op.u71i2edlvwnd5a@garhos>
 <nospam-53FA2E.07354714022010@news.aioe.org>
NNTP-Posting-Host: 3asb9hiTRjIGumPMgCsIjA.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.10 (Win32)
Xref: g2news1.google.com comp.lang.ada:9249
Date: 2010-02-15T20:20:02+01:00
List-Id: <comp.lang.ada>

Le Sun, 14 Feb 2010 13:35:47 +0100, John B. Matthews  =

<nospam@nospam.invalid> a =E9crit:
> Type A_Type has its own private part, and this seems more comparable t=
o
> the declaration of protected type B_Type. Is there any reason to make
> A_Type more opaque?
>
Well, let say first I don't like the idea of designing with a compiler b=
ug  =

is mind, and secondly, this is not to be part of a public part (I don't =
 =

really like private stuff in public part).
When I know a mostly clean workaround, that's Ok, but I do not like this=
  =

one.
TBH, as was trying (as explained in the initial post), to workaround  =

another bug when I meet this one.
The interesting point to me, is that you get the same, so it is not just=
  =

my compiler. This means for me I should report the bug to AdaCore (as yo=
u  =

seem to have confirmed the bug).

I thank you for the test you've made :)

-- =

No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just=
  =

not lucky