From: Nick Roberts <nick.roberts@acm.org>
Subject: Re: visibility of private incomplete types
Date: Fri, 29 Oct 2004 15:16:24 +0100
Date: 2004-10-29T15:16:24+01:00 [thread overview]
Message-ID: <2uf1loF27r1iqU1@uni-berlin.de> (raw)
In-Reply-To: <9NWdnRZle_mB7RzcRVn-uQ@megapath.net>
Randy Brukardt wrote:
>>>is GNAT correct in compiling the following program
>>>without complaints? (There is a complaint if the
>>>function in the body of P is uncommented.)
>>
>>No - according to ObjectAda v 7.2.2
>
> Right, because the outer private part doesn't have visibility on the
> private part of Inner. Only the body of Inner should be able to see
> TI.
Indeed.
Also, would I be right in saying that, in Ada 95, it is not permitted
for a type declared (by an incomplete type declaration) in the private
part of a package to be completed in the package's body?
Is this going to be permitted in Ada 2005?
--
Nick Roberts
next prev parent reply other threads:[~2004-10-29 14:16 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-28 12:03 visibility of private incomplete types Georg Bauhaus
2004-10-28 15:36 ` Martin Dowie
2004-10-28 22:19 ` Randy Brukardt
2004-10-29 14:16 ` Nick Roberts [this message]
2004-10-29 15:33 ` Frank J. Lhota
2004-10-30 3:13 ` Nick Roberts
2004-11-01 0:40 ` Dr. Adrian Wrigley
2004-12-09 21:21 ` Lionel Draghi
2004-12-10 4:06 ` Alexander E. Kopilovich
2004-12-10 9:23 ` Martin Krischik
2004-10-30 0:36 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox