gcc/testsuite/gnat.dg/return2.ads


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

package Return2 is

  type Kind_T is (One, Two);

  type T is array (Kind_T) of Boolean;

  type Result_Internal_T (Member : Boolean := False) is record
    case Member is
      when True =>
        Data : Kind_T := Kind_T'First;
      when False =>
        null;
    end case;
  end record;

  function Value (Img : String) return T;

end Return2;