gcc/testsuite/gnat.dg/slice2.ads

   1 package Slice2 is\r
   2 \r
   3   type R1 is record\r
   4     Text : String (1 .. 30);\r
   5   end record;\r
   6 \r
   7   type R2 is record\r
   8     Text : String (1 .. 8);\r
   9     B : Boolean := True;\r
  10   end record;\r
  11 \r
  12   function F (I : R1) return R2;\r
  13 \r
  14 end Slice2;\r