Re: Ada2012 : Expression functions and extended return statements

["Peter C. Chapin" <PChapin@vtc.vsc.edu>]

On 2012-01-06 05:02, Martin wrote:

> I still think it would be nice to have a short-hand e.g. 'return
> Result :<>  do'. If anything it would then draw the eye to the more
> interesting case when the 2 are different.

You need to repeat the type for ordinary returns as well.

function F return Integer is
   Result : Integer;  -- Duplication of return type here.
begin
   Result := 1;
   return Result;
end F;

To be consistent it seems like you'd need to be able to use '<>' 
throughout the body of the function.

function F return Integer is
   Result : <>;  -- Shorthand for function's return type.
begin
   Result := 1;
   return Result;
end F;

Considering Ada's tendency to require one to repeat information in 
earlier declarations, this seems a bit unAda-like to me. Also this would 
allow '<>' to show up in a lot of strange looking places such as type 
conversions and type qualifications.

Peter