summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/constant1.ads
blob: 1c00c33f792b138c8a28cdffe65f89580cf7602a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
-- { dg-do compile }

with Constant1_Pkg;

package Constant1 is

  type Timer_Id_T is new Constant1_Pkg.Timer_Id_T with null record;

  type Timer_Op_T (Pending : Boolean := False) is
     record
       case Pending is
         when True =>
           Timer_Id : Timer_Id_T;
         when False =>
           null;
       end case;
     end record;

  Timer : Timer_Op_T
    := (True, Timer_Id_T'(Constant1_Pkg.Null_Timer_Id with null record));

end Constant1;