Paul Isaacs wrote:

Waldek, Professor,

Thank you for the replies.

"A pointer-function shall be a function-access possessing : a pointer-type."

Howvever, I can't see how to generate a function-access possessing a pointer-type:

Just declare apropriate return type. Useful example would be complicated, but a useless one is: program pb; type pb = ^boolean; var pv : pb; function y : pb; begin y := pv end; {Main program} begin new(pv); pv^ := true; {Use y} if y^ then writeln("OK") end . -- Waldek Hebisch