Re: Elaboration order

[emery@grebyn.com (David Emery)]

In article <EACHUS.96Mar18143219@spectre.mitre.org>,
eachus@spectre.mitre.org (Robert I. Eachus) wrote:

> In article <DoBI9D.KH6@world.std.com> bobduff@world.std.com (Robert A
Duff) writes:
> 
>   > The designers of Ada 83 struggled with this issue.  In Ada 80 (or so),
>   > the compiler was required to do an extraordinarily complex analysis at
>   > link time, to determine the order, so there was no need for run-time
>   > checks on calls.  This was changed in order to simplify implementation.
> 
>    That's quite an understatement.  To demonstrate the problem with
> the Ada 80 rule I wrote a little program that any Ada 80 compiler must
> compile without error if Format's Last Theorem was true, and which
> must be rejected if it was false.
> 
>    (Such a theorem prover being beyond the state of the art, the rules
> were changed for Ada 83 to allow the compiler to pick one arbitrary
> order.)
> 
...
> --
> 
>                                         Robert I. Eachus
> 
> with Standard_Disclaimer;
> use  Standard_Disclaimer;
> function Message (Text: in Clever_Ideas) return Better_Ideas is...

Of course, there wasn't time to type in the program so Eachus scribbled
it down on the side of an old printout, which he has subsequently lost :-) :-)

               dave