aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/specs/renaming2_pkg4.ads
blob: abeffcc7da8c67b406013ed1f60f165b4127271d (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
-- { dg-excess-errors "no code generated" }

generic

  type Length_T is range <>;

  with function Next return Length_T is <>;

  type Value_T is private;

  with function Value (L : Length_T) return Value_T is <>;

package Renaming2_Pkg4 is

  generic
    type T is private;
  package Inner is

    type Slave_T is tagged null record;

    function Next_Value return Value_T;

  end Inner;

end Renaming2_Pkg4;