Re: meaning of "current instance"

[tmoran@bix.com]

>I don't think your program will even compile.
Sorry, I tried to simplify more than was possible.
This prints "1 1", as seems nice, but unexpected, with one compiler,
but "5832148 1" with another compiler.  If X.J in function Init
is replaced by X.I, then the two compilers give
"39190036 1" and "0 1" respectively.  I presume either of X.I or X.J
in function Init is erroneous, right?  Is the Init function allowed
only to reference previously initialized values (ie, X.I could be
referenced by Init in "J : Integer := Init(T'access);"), or can
it reference any values (seems impossible) or are there no references
at all to initial values of the current instance that are legal?

package junk1 is
  type T is private;
  procedure dump(X : in T);
  function Init(X : access T) return Integer;

private
  function Stepper return Integer;

  type T  is record
    I : Integer := Init(T'access);
    J : Integer := Stepper;
  end record;

end junk1;

with ada.text_io;
use  ada.text_io;
package body junk1 is

  Current : Integer := 0;

  function Stepper return Integer is
  begin
    Current := Current+1;
    return Current;
  end Stepper;

  function Init(X : access T) return Integer is
  begin
    return X.J;   -- or X.I
  end Init;

  procedure dump(X : in T) is
  begin
    put_line(Integer'image(X.I)
             & Integer'image(X.J));
  end dump;

end junk1;

with junk1;
procedure junk2 is
  x : junk1.T;
begin
  junk1.dump(x);
end junk2;