[GAP] Record aggregates with unknown components

[Matthew Heaney]

-----Original Message-----
>From: "Francisco J. Montoya" <fmontoya at dif.um.es>
>Sent: Mar 13, 2006 10:43 AM
>
>, but in the former case I cannot find a way to make a definition like:
>
>    EMPTY : constant set := set'( ( others => any ), 0 );
>
>because I don't know at that point "any" value of type T that can be 
>used, though "any" would be fine since it's not relevant. 

Use the new box notation (verify exact syntax):

  EMPTY : constant set := set'((others => <>), 0);

or maybe:

  EMPTY : constant set := set'(Length => 0, others => <>);



Also note the the predefined language environment includes set types already:

ada.containers.hashed_sets
ada.containers.indefinite_hashed_sets
ada.containers.ordered_sets
ada.containers.indefinite_ordered_sets