Re: Can't export object of private type

[fraser@synopsys.throw.this.bit.away.com]

I nearly cried when nospam@thanks.com.au said:


>:I just love the way Ada compilers fill in .all for me.  

>Can you give an example?

Sure.  This is an idiom I use all the time (well, until I wrote a generic dynamic
array package, but that's another story):

   type Array_Type is array (Positive range <>) of Integer;
   type Array_Access is access Array_Type;

   X : Array_Access;
   Y : Integer;
   Z : Array_Type (1 .. Size);
begin

   X := new Array_Type'(1 .. Size);

   Y := X (3);     --  same as X.all (3)

   Z := X.all;     --  .all required here
end;

Subprogram access types are similar.  Bertrand Meyer goes into this sort of thing
in his Eiffel book, but I can't remember the term he used.  You know, the bit
about everything being accessed the same way, regardless of the underlying type.
I think Eiffel (at least in its first incarnation, I haven't checked the language's
revision history) goes a little overboard in its race for purity (but that's another
article).  Not having to worry about whether something's an array or an array access
when you index it is a small plus, but it's representative of a wider philosopher.

Fraser.