blob: 82a48d500aa15e2841122ed065a1348a477552d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
package Thunk1_Pkg2 is
type Root is tagged record
I : Integer;
end record;
type Iface is interface;
procedure Op (This : in out Iface; S : String) is abstract;
type Ext is new Root and Iface with null record;
procedure Op (This : in out Ext; S : String);
end Thunk1_Pkg2;
|
