From: Mats Weber <matsw@mail.com>
Subject: Re: What is wrong here? (Generic and controlled types)
Date: 2000/04/06
Date: 2000-04-06T10:47:26+00:00 [thread overview]
Message-ID: <38EC6B3E.9225F1D4@mail.com> (raw)
In-Reply-To: wcc7ledkf8j.fsf@world.std.com
Robert A Duff wrote:
> >>> instantiation error at generic_vectors.ads:75
> >>> controlled type must be declared at the library level
> >>> Move instantiation out of procedure Main and into a library package.
I think the message is misleading (both the actual GNAT message and the
above modified version) in the sense that it does not direct the user to
the actual rule he is violating, which is that one cannot derive a
tagged type at a level deeper than its parent.
next prev parent reply other threads:[~2000-04-06 0:00 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-03 0:00 What is wrong here? (Generic and controlled types) Alexander Boucke
2000-04-03 0:00 ` Ted Dennison
2000-04-03 0:00 ` Ehud Lamm
2000-04-03 0:00 ` Robert Dewar
2000-04-03 0:00 ` Florian Weimer
2000-04-03 0:00 ` tmoran
2000-04-04 0:00 ` Alexander Boucke
2000-04-06 0:00 ` Robert Dewar
2000-04-21 0:00 ` Florian Weimer
2000-04-03 0:00 ` swhalen
2000-04-06 0:00 ` Robert Dewar
2000-04-03 0:00 ` Ted Dennison
2000-04-04 0:00 ` Robert A Duff
2000-04-06 0:00 ` Mats Weber [this message]
2000-04-06 0:00 ` Robert Dewar
2000-04-06 0:00 ` Robert A Duff
2000-04-06 0:00 ` Robert Dewar
2000-04-06 0:00 ` Robert Dewar
2000-04-21 0:00 ` Vincent Marciante
2000-04-21 0:00 ` Robert Dewar
2000-04-21 0:00 ` Robert Dewar
2000-04-22 0:00 ` Vincent Marciante
2000-04-22 0:00 ` Robert Dewar
2000-04-04 0:00 ` Alexander Boucke
2000-04-06 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox