Re: "unconstrained subtype in component declaration" vs "discriminant in constraint must appear alone"

[Mehdi Saada <00120260a@gmail.com>]

> There are three categories of "once": 
> 2. Once per object instantiation, subtype/dynamic constraint 
Sorry, I mean that, and it's meant to be mutable, for which I forgot the := default_discrimant_value).

> As J-P said, you can have whatever expressions in #1, just remove 
> discriminants. 
Actually
 type CARDS_SETS (Nb: Nombre_cartes := 0) is record
         Set: Sets_of_Card := INITIALIZATION (Nb);
      end record;
gives "unconstrained subtype in component declaration" so I'm forced to put a constraint despite the defaults.
I would have supposed that the constraint would come from the default value, or from a value in an aggregate.

But I scrapped the "no 52" for
type CARDS_SETS (Nb: Nombre_cartes := 0) is record
         Set: Sets_of_Card (1..Nb) := INITIALIZATION (Nb);
      end record;
and it's good.

What a wealth of gems I can get from a bunch of cards X-D