Re: Prefix to 'ACCESS must either statically match... But why?

[wojtek@power.com.pl (Wojtek Narczynski)]

> Why are you choosing to pass an access to a Stream_Element_Array
> instead of just the Stream_Element_Array? Avoiding the use of an
> access type would also eliminate the problem. Remember that any
> parameter, even an IN parameter can be passed by reference by the
> compiler. In fact, an array object is most frequently passed by 
> reference.

Because this function uses 'Unrestricted_Access to return an array of
accecceses to slices of the parameter array. This is supposed to yeld
in better speed and compactness, and let me avoid heap allocations. If
I were to copy the strings out of this huge array I'd have to allocate
them on heap.

>> And in general I find the inablility to declare access type
>> subtypes in parallel with the subtypes for the designated 
>> type obstructive.
> 
> It appears that you are thinking in C while programming in Ada.

Heh, maybe. Please take a look at my other post - even the compilers
are unsure if what I've written is Ada ;-)

Thanks,
Wojtek