On 14 Oct 2014, at 14:21, Sven Barth wrote:
At least at first sight there don't seem to be any real (technical) reasonsto not covariance for return values.
Delphi and/or FPC already support it to a certain extent, and the compiler contains some code for it (see compatible_childmethod_resultdef in defcmp.pas and its use in nobj.pas). I don't know the exact scenario under which it currently works in though.
jonas
_______________________________________________ fpc-devel maillist - [email protected] http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
