gcc-4.9/gcc/testsuite/gnat.dg/aggr9_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

package Aggr9_Pkg is

  type Byte is range 0 .. 255;

  type R1 is
    record
      A,B : Byte;                    
    end record;

  type R2 is
    record
      F : R1;
    end record;

  procedure Send (M : R2);

end Aggr9_Pkg;