Re: anonymous aggregates?

[Brian Drummond <brian@shapes.demon.co.uk>]

On Fri, 31 Aug 2012 06:22:35 -0400, Stephen Leake wrote:

> Occasionally I have the following pattern:
> 
> declare
>     A : Integer;
>     B : Float;
> 
>     procedure Foo (A : out Integer; B : out Float);

...
> In general, I prefer to initialize variables in the declaration, and
> declare them constant if possible. But I can't do that here.
> 
> One option in current Ada is to declare a record type;
> 
> declare
>     type Foo_Return_Type is record
>         A : Integer;
>         B : Float;
>     end record;
...
> But that seems like overkill, especially since the code in "..." must be
> edited; all references to A must be replaced by A_B.A.

All references, or just one?

(in the declarations section, just after the initialisation of A_B)
A : constant Integer renames A_B.A;

- Brian