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

with Elab2_Pkg; use Elab2_Pkg;

package Elab2 is

   type Num is (One, Two);

   type Rec2 (D : Index_Type := 0) is record
      Data : Rec1(D);
   end record;

   type Rec3 (D : Num) is record
      case D is
         when One => R : Rec2;
         when others => null;
      end case;
   end record;

end Elab2;