Re: Assigning the value of a deferred constant?

[tmoran@acm.org]

>is posible or not in Ada. I seem to remember that Barnes' book
  You can't elaborate the body before you're done elaborating the
spec, but you can elaborate a different package, including its body.
Borrowing from Barnes p. 258 discussion of pragma Elaborate,

  package Early is
    function Is_Big_Endian return Boolean;
  end Early;
  package body Early is
    function Is_Big_Endian return Boolean is ...
  end Early;


  with Early;
  pragma Elaborate(Early);
  package Test is

     type Byte_Order is (Little_Endian, Big_Endian);
     Default_Byte_Order : constant Byte_Order;

  private

     Default_Byte_Order : constant Byte_Order
       := Byte_Order'val(Boolean'pos(Early.Is_Big_Endian));

  end Test;