gcc/testsuite/gnat.dg/specs/formal_type.ads


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

-- { dg-do compile }

with Ada.Strings.Bounded;
package formal_type is
   generic 
      with package BI is
         new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
      type NB is new BI.Bounded_String;
   package G is end; 
   package BI is new Ada.Strings.Bounded.Generic_Bounded_Length (30);
   type NB is new BI.Bounded_String;
    Thing : NB;
      Size : Integer := THing.Max_Length;
   package GI is new G (BI, NB);
end;