let rec a ()= printfn "%d" 1; b ()
and b ()= a ()
let ()= a ()
compiled with fsharp 220.127.116.11+dfsg2-3~xamarin1
The 3 lines program above causes stack overflow.
If I replace `"%d" 1' with `"1"', the program just keep running properly.
Seems to be caused by missing tail call optimization.
Fixed in mono master ca0dd5c0bb0f600331aac3c6b8d0579e37cdd0c7.
Reverted the fix as it causes a perf regression.
I can reproduce with Mono 18.104.22.168 (2017-12/ec4a957151a).
Fixed in master with https://github.com/mono/mono/commit/b4ee86154fce71ba4eb96f4c591a5ce236d23b85
Notice (2018-05-24): bugzilla.xamarin.com is now in
Please join us on
Visual Studio Developer Community and in the
Mono organizations on GitHub
to continue tracking issues. Bugzilla will remain available for
reference in read-only mode. We will continue to work on open Bugzilla
bugs, copy them to the new locations as needed for follow-up, and add
the new items under Related Links.
Create a new report for Bug 25224 on Developer
Community or GitHub if you have new information to add and do not yet see a matching
In special cases on GitHub you might also want the comments:
GitHub Markdown with public comments
Our sincere thanks to everyone who has contributed on this bug tracker
over the years. Thanks also for your understanding as we make these
adjustments and improvements for the future.