2 -- { dg-options "-gnatdm -gnatws" }
8 type T_Bit
is range 0..1;
9 type T_Entier_16
is range -2**15 .. 2**15-1;
11 package My_Q
is new Discr6_Pkg
(T_Entier_16
);
13 type T_Valeur
is (BIT
, Entier_16
);
15 type R
(D
: T_Valeur
) is record
17 when BIT
=> V_BIT
: T_Bit
;
18 when Entier_16
=> V_E16
: T_Entier_16
;
22 V_BIT
at 0 range 0..7;
23 V_E16
at 0 range 0..15;