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


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

package Slice2 is

  type R1 is record
    Text : String (1 .. 30);
  end record;

  type R2 is record
    Text : String (1 .. 8);
    B : Boolean := True;
  end record;

  function F (I : R1) return R2;

end Slice2;