3 package body Discr27
is
5 subtype Index
is Positive range 1..4096;
7 function F
return String is
8 S
: String(1..1) := (others =>'w');
13 type Enum
is (One
, Two
);
15 type Rec
(D
: Enum
:= One
; Len
: Index
:= 1) is record
17 when One
=> I
: Integer;
18 when Two
=> A
: String(1..Len
);
23 M
: constant String := F
;
24 C
: constant Rec
:= (Two
, M
'Length, M
);
29 procedure Proc
is begin