Re: Building limited types through nested creator functions

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

Simon Belmont <sbelmont700@gmail.com> writes:

> Hi,
>
> Consider two limited record types, inner and outer, with the former
> nested inside the latter.  If the records are public, then code can
> initialize the outer by specifying an aggregate for the inner, as in:
>
> type Inner is limited
>   record
>     e : Integer;
>   end record;
>
> type Outer is limited
>   record
>     i : Inner;
>   end record;
>
> o : Outer := Outer'(i => Inner'(e => 42));
>
> However, if types are made private, suitable functions must be
> provided to make the appropriate objects.

I'm not sure exactly what you're trying to do, but maybe something
like this would work:

function Make_Outer(Make_Inner: not null access function return Inner) return Outer;

You can pass "parameters" to the actual for Make_Inner by
making it nested so it can see whatever it needs.

- Bob