Currently GPC allows function results in `with' statements, as in:
program foo;
type a = record b, c: Integer end;
function f: a; begin f := a[b: 2; c: 3] end;
begin with f do WriteLn (b, c); end.
However, GPC currently also allows assignments to the components, such as:
with f do b := 2
which is quite clearly wrong.
Probably for this reasone, EP forbids function results in `with' statements at all (6.9.3.10: withÂelement = variableÂaccess | constantÂaccess.). I don't know about other dialects (BP has no records as result types, so the issue doesn't arise. What about Delphi etc.?).
At the moment, I'd tend to follow EP here and forbid them at all. Or does anyone think it's really necessary to have them? (Which would probably imply more work to make the fields read-only.)
Frank