Re: limited agregate and limited components default initialization

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-04-01 01:36, Jean-Claude Rostaing wrote:
> Why does a component declaration like that:
> type Item_Accessor (Item: not null access Item_type) is limited record
>        Ref: Item_access := SET(Item_Record'(Item => ITEM.all, others => <>));
>     end record;
> unconstrained subtype in component declaration
> ? ITEM is limited but IS constrained by the default initialisation

Smart pointer is limited? It does not make sense to me.

P.S. Unless you are trying to work around some very specific language 
deficiency, e.g. lack of in-place operations for container types.

P.P.S. Limited aggregates do not work, no matter how you turn it. I am 
afraid you are wasting your time. Even if you get this working somehow 
this time, they will hit you somewhere later.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de