Re: Question[s] about aliased extended return.

[Shark8 <onewingedshark@gmail.com>]

On Friday, November 9, 2012 6:08:46 PM UTC-7, Jeffrey Carter wrote:
> On 11/09/2012 12:42 PM, Shark8 wrote:
> 
> The extended return exists for build-in-place results of limited types. There's 
> really no reason to use it for other types.

Really? I thought it was quite useful for initializing things too:

Type Matrix is Array(Positive Range <>, Positive Range <>) of Float;

Type Identity(Size: Positive) return Matrix is
begin
  Return Result : Matrix(1..size, 1..size):= (others => 0.0) do
    For index in Matrix'Range(1) loop
      Result(Index, Index):= 1.0;
    end loop;
  End return;
end;

But I guess that's fairly related to build-in-place; the only difference being it's not limited.