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;
|