Re: limited agregate and limited components default initialization

[Jean-Claude Rostaing <00120260a@gmail.com>]

the smart pointer is NOT limited, but ITEM_TYPE is. Simply because I want to accept as many type as possible.

generic
   type Item_type(<>) is limited private;
package Pointers is
   type Accessor_type(Data: not null access Item_type) is limited private with Implicit_Dereference => Data;
   type Smart_Pointers(<>) is private;
   NULL_ACCESS: Constant Smart_Pointers;

I could ask a constructor as a parameter, but it would be stupid since clients whou would want to instanciate with a limited type, won'obviously wouldn't be able to provide a constructor.

I'm waiting for a solution... Randy the savior ?