From: Tucker Taft <stt@averstar.com>
Subject: Re: Subtype of limited type non-limited?
Date: 2000/03/24
Date: 2000-03-24T17:52:39+00:00 [thread overview]
Message-ID: <38DBAB67.C65A783A@averstar.com> (raw)
In-Reply-To: 87em90iw1n.fsf@deneb.cygnus.argh.org
Florian Weimer wrote:
>
> The following code results in a GNAT error message:
>
> access_discriminant.ads:21:36: access discriminants allowed
> only for limited types
>
> GNAT assumes that the subtype of a limited type is non-limited (at
> least under these special circumstances). Is this really correct?
Nope, this looks like a bug. All subtypes and derivatives of a limited
type are limited, as are all types with a limited subcomponent.
This is sometimes summarized as "limited types are poison." ;-)
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
prev parent reply other threads:[~2000-03-24 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-24 0:00 Subtype of limited type non-limited? Florian Weimer
2000-03-24 0:00 ` Tucker Taft [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