summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/layered_instance.adb
blob: f1326be8a5b2c717fe40b52d8d46d204df662e14 (plain)
1
2
3
4
5
6
7
8
9
10
11
-- { dg-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;