blob: e1bd0bac2a86cfbabb287ecf800e360e7bbd960d (
plain)
1
2
3
4
5
6
7
8
9
|
package interface5 is
type B is tagged null record;
type I is interface;
function F (Object : I) return access I is abstract;
type Child is new B and I with null record;
function F (Object : Child) return access Child;
end interface5;
|
