Re: record question

[Jeffrey Carter <jrcarter@acm.org>]

Alfred Hilscher wrote:
> 
> procedure RT is
>   type x (i : Integer := 0) is
>     record
>       case i is
>         when 0 => null;
>         when 1..10 => s : STRING (1..10);
>         when others => null;
>       end case;
>     end record;
> 
>   y : x;
> begin
>   y := (1, "ABC       ");  -- this is OK
> 
>   y := (99);   -- but, how do that ?
> 
>   y.i := 99;   -- do not work either, so how assign a value different to
> 1..10 ?
> end RT;

(99) is a parenthesized expression, not an aggregate. An aggregate of
one value must use named notation:

(I => 99)

You may only change a discriminant of an unconstrained record variable
by assigning the entire record at once. Since I is a discriminant of
type X, "Y.I := ..." is illegal.

Thus, you must write:

Y := (I => 99);

-- 
Jeff Carter
"I wave my private parts at your aunties."
Monty Python & the Holy Grail