From: Robert A Duff <bobduff@world.std.com>
Subject: Re: generic package dilemma
Date: 1999/11/22
Date: 1999-11-22T00:00:00+00:00 [thread overview]
Message-ID: <wccyabqfldi.fsf@world.std.com> (raw)
In-Reply-To: 383982E4.110F0F2D@mail.com
Mats Weber <matsw@mail.com> writes:
> BTW, I don't think I was just lucky: the elaboration order control was
> supposed to be automatic in Ada 80, which of course is not feasible.
I think it *is* feasible. In fact, the latest GNAT does determine an
order automatically -- and if it can't, it complains at link time. This
is just like any other compile-time or link-time rule -- the halting
problem tells us we have to make the rules somewhat conservative
compared to corresonding run-time rules -- but that *is* feasible in
many cases.
I certainly don't believe the designers of Ada 83 (in 1980) thought it's
possible for compiler to solve the halting problem. I think they just
wrote the rule in a slightly sloppy way. They could have rewritten it
to say what they always meant, but instead they chose to go with
run-time checking -- I presume because that makes things simpler by
avoiding a link-time analysis of the entire program's call graph.
- Bob
next prev parent reply other threads:[~1999-11-22 0:00 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-17 0:00 generic package dilemma Riyaz Mansoor
1999-11-17 0:00 ` Matthew Heaney
1999-11-17 0:00 ` Mats Weber
1999-11-17 0:00 ` Matthew Heaney
1999-11-18 0:00 ` Mats Weber
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Mats Weber
1999-11-19 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Robert Dewar
1999-11-19 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Matthew Heaney
1999-11-20 0:00 ` Mats Weber
1999-11-19 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Larry Kilgallen
1999-11-23 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert A Duff [this message]
1999-11-23 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert I. Eachus
1999-12-01 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Robert A Duff
1999-11-23 0:00 ` Robert Dewar
1999-11-29 0:00 ` Robert A Duff
1999-12-01 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert A Duff
1999-12-02 0:00 ` Mats Weber
1999-12-03 0:00 ` Robert Dewar
1999-12-03 0:00 ` Ted Dennison
1999-12-04 0:00 ` Robert Dewar
1999-12-03 0:00 ` Robert A Duff
1999-12-06 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Bryce Bardin
1999-11-23 0:00 ` Robert Dewar
1999-11-19 0:00 ` Vladimir Olensky
1999-11-18 0:00 ` Robert A Duff
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Robert Dewar
1999-11-18 0:00 ` Riyaz Mansoor
1999-11-19 0:00 ` Robert Dewar
1999-11-19 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