summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/lto3_pkg1.ads
blob: 5619b60c77396f527c24a46d98c0101c6289bf6b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
-- { dg-excess-errors "no code generated" }

with Lto3_Pkg2;

generic
  type Id_T is range <>;
package Lto3_Pkg1 is

  type Variable_Data_T (Fixed : Boolean := False) is
    record
      case Fixed is
        when True =>
          Length : Natural;
        when False =>
          null;
      end case;
    end record;

  function Is_Fixed return Boolean;

  type Variable_Data_Fixed_T is new Variable_Data_T (Is_Fixed);

  package Db is new Lto3_Pkg2 (Id_T => Id_T,
                               Data_T => Variable_Data_Fixed_T);

end Lto3_Pkg1;