From: Robert A Duff <bobduff@world.std.com>
Subject: Re: What is wrong here? (Generic and controlled types)
Date: 2000/04/04
Date: 2000-04-04T00:00:00+00:00 [thread overview]
Message-ID: <wcc7ledkf8j.fsf@world.std.com> (raw)
In-Reply-To: 8cahmn$apq$1@nnrp1.deja.com
Robert Dewar <robert_dewar@my-deja.com> writes:
> P.S. it is hard to see how the GNAT message could be any
> clearer, suggestions welcome!
I'm not sure it's possible -- the accessibility rules seem to be
inherently difficult to understand. We totally rewrote that section of
the RM several times, and people found it confusing every time. I think
the terminology we ended up with is just whatever it happened to be when
the RM was done -- if we had had more time, we probably would have
rewritten it again, without improvement. ;-)
Part of the problem is that people don't think of the main procedure as
being a real procedure -- its stack frame lasts more-or-less forever,
just like library packages (unless you have tasks or a recursive main
procedure, which is unlikely in a simple test program).
But anyway, how about something like this:
>>> 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.
- Bob
next prev parent reply other threads:[~2000-04-04 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 ` 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 [this message]
2000-04-06 0:00 ` Mats Weber
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-03 0:00 ` Ehud Lamm
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