Re: limited types (Was: Records that could be arrays)

["Randy Brukardt" <randy@rrsoftware.com>]

"Matthew Heaney" <matthewjheaney@earthlink.net> wrote in message
news:ufym7tr6w.fsf@earthlink.net...
...
> You could pass in a copy constructor if this were an unbounded form (I
thik),
> something like:
>
>   procedure Insert
>     (C : in out CT;
>      E : in ET;
>      Copy : not null access function (E : ET) return ET)
>   is
>      Node : Node_Access :=
>        new Node_Type'(Element => Copy (E), others => <>);
>   begin
>      ...
>   end;
>
> Wouldn't that work?  I don't have a compiler that can do that yet, but I
know
> this would be legal:

Yes, that's legal (a limited function can be an aggregate element, and an
aggregate can be used to initial an object). The compiler is required to
build the object in place for such aggregates and functions; no temporaries
are allowed.

                       Randy.