Re: Ada2012 : Expression functions and extended return statements

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Martin Dowie <martin@re.mo.ve.thedowies.com> writes:

> 2012 RM 3.1 6/3 says it is a declaration (but I should have written
> 'Result' not 'Return').

Right, and it declares an object.

> A bit like Pascal(?), didn't use the function's name at the point of
> return?...so for function 'Foo' you wrote something like,
>
> Foo := 100;
>
> ?

Yes, that's the Pascal method.  The problem with it is that
if you say something like "Foo := Foo + 1;" it does something
very wrong, especially if Foo has no parameters.

But the general principle that the result should have a
name is a good one.

- Bob