What is the current state of tail call optimization for F # on Mono (2.11)?

Question

What is the current implementation status of Tail Call (TCO) optimization on Mono (2.11)? Read somewhere that the entire code base must be modified to use the call-pop-argument convention. What is the status of this change? Is the ARM / Linux port updated on this issue?

Thanks!

Answer 1

Call tail definitely works on mono on linux - checked using

let rec fa = f (a+1) 

which did not pass the test on Mono 2.10.2

UPDATE

Tested by a link from Brian - https://bugzilla.novell.com/show_bug.cgi?id=476785

which breaks down on Mono 2.10.2, despite the generation of .tail commands