On Thursday, 3 January 2013 at 23:06:03 UTC, David Nadlinger
wrote:
The problem with that idea, is that a ref return with no
arguments may call another ref return that returns something
that escapes the scope it was created in. If the source code
is not available, then there's no way for the compiler to
determine that this is going on.
I am not quite sure what you are trying to say. If the compiler
never sees the source code for the functions, then codegen is
going to be difficult. ;)
See my post directly above this one that has an example.
--rt