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;