Re: Ada2012 : Expression functions and extended return statements

[Adam Beneschan <adam@irvine.com>]

On Jan 6, 12:45 am, Martin <mar...@thedowies.com> wrote:

> Also, on the topic of extended return statements...
>
> What's the rational for having to explicitly repeat the return type?
> Seems rather redundant to my eyes. I wouldn't have minded:
>
> function Bar return Some_Type is
> begin
>    return Result : <> do
>       -- something to initialise 'Result'
>    end return;
> end Bar;
>
> or even
>
> function Bar return Some_Type is
> begin
>    return Result do
>       -- something to initialise 'Result'
>    end return;
> end Bar;
>
> In this case, 'Result' can't be anything other than of type
> 'Some_Type' can it?

Yes, it can.  If Some_Type is a class-wide type, Result's type must be
a specific type.  If Some_Type is, say, an unconstrained array type,
Result's type must be a constrained subtype.

                             -- Adam