gcc-4.9/gcc/testsuite/gnat.dg/specs/renaming2_pkg2.ads


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

package Renaming2_Pkg2 is

  type Root is private;

private

  type Root (D : Boolean := False) is record
    case D is
      when True => N : Natural;
      when False => null;
    end case;
  end record;

end Renaming2_Pkg2;