Re: Forcing use of "constructors"

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

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> Inside Construct, you would normally use the extended return statement
> (ARM 6.5(2.1/2)), e.g.

Or an aggregate, "return (This => ..., That => ...);"
or a function call, "return Something(This => ..., That => ...);".

> function Construct return T is
> begin
>    return Object : T do
>       -- initialize some components

Or:

    return Object : T := Something(This => ..., That => ...) do
       ... -- overwrite some components

All of the above possibilities work in the limited case.

- Bob