Re: Elaboration order handling (Was: Bug in 'gnatmake')

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

Since we're discussing elaboration order, there's a case that I wonder about:

with B;

package A is
    function F (I : Integer) return B.Thing;

    function R return Integer;
end A;

package body A is
    function F (I : Integer) return B.Thing is
       -- null;
    begin -- F
       return B.To_Thing (I);
    end F;

    function R return Integer is
       -- null;
    begin -- R
       return 7;
    end R;
end A;

package B is
    type Thing is private;

    function To_Thing (I : Integer) return Thing;
private -- B
    type Thing is new Integer;
end B;

with A;

package body B is
    function To_Thing (I : Integer) return Thing is
       -- null;
    begin -- To_Thing
       return Thing (I);
    end To_Thing;

    C : constant Integer := A.R;
end B;

It seems to me there's a valid elaboration order for these:

* spec of B
* spec of A
* body of A
* body of B

I've never been able to get such code to bind, though. Is there some way to get 
this accepted, or is it illegal Ada?

-- 
Jeff Carter
"Now go away or I shall taunt you a second time."
Monty Python & the Holy Grail
07