On 4/2/2014 3:06 PM, bearophile wrote:
Walter Bright:
I don't see why not. Note that we couldn't do this for extern(C) functions, or
variadics, or caller functions with parameters that need destruction, or
parameters that may refer to any locals. That last constraint might be a
doozy, however.
Why not submit an enhancement request to bugzilla?
So what does it happen if I (by mistake or by ignorance) try to use this on a
function that doesn't satisfy one of those requirements?
Then it won't tail call it.
D can't give an error in that case because it's a big breaking change. So is D
in that case just
silently not performing the tail call as the programmer meant?
That's right.
