summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/layered_instance.adb
blob: 54f8d25d2b92ee3329d1cd740c1bf24294f2c2a6 (plain)
1
2
3
4
5
6
7
8
9
10
11
-- { do-do compile }

with Layered_Abstraction_P;
with layered_abstraction;
procedure layered_instance is
   package s1 is new Layered_Abstraction_P (Integer, 15);
   package S2 is new Layered_Abstraction_P (Integer, 20);
   package Inst is new layered_abstraction (S1, S2);
begin   
   null;   
end;