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


1
2
3
4
5
6
7
8

-- { dg-do compile }

with gen_interface_p;
package gen_interface is
   type T is interface;
   procedure P (Thing: T) is abstract;
   package NG is new gen_interface_p (T, P);
end;