16 lines
618 B
Ada
16 lines
618 B
Ada
package Enclosing_Record_Reference is
|
|
pragma elaborate_body;
|
|
|
|
type T is record
|
|
F1: access function(x: integer) return T;
|
|
F2: access function(x: T) return integer; --??
|
|
F3: access function(x: T) return T; --??
|
|
F4: access function(x: integer) return access T; --??
|
|
F5: access function(x: access T) return integer;
|
|
F6: access function(x: access T) return access T;
|
|
F7: access function(x: T) return access T; --??
|
|
F8: access function(x: access T) return T;
|
|
end record;
|
|
|
|
end Enclosing_Record_Reference;
|