The implementation should mirror the InlineDiagnoser pretty closely, but use the facilities for hooking into JIT Tail Call optimization events. These events are described on MSDN and referenced below.
This diagnoser would be extremely helpful for developers of F# code to verify that returns that are function calls are properly in tail position or that recursive functions are properly tailed as well.
Hi guys, is it case still actual? If yes, I'd like to grab it.
@GeorgePlotnikov Great! Please let me know if you need any help.
Hi, I've pulled #573
@neoeinstein do you know all scenarios which should be covered by the Tail Call Diagnoser?
When F# compiler can use goto? When tail call opt?
@GeorgePlotnikov I asked on twitter for some help and @tpetricek provided this link
@adamsitnik it's awesome, sincerely appreciate you
@GeorgePlotnikov big thanks for doing this! I checked your new diagnoser and it work very well!
Fixed by #573 and #598
@adamsitnik great, many thanks!
Most helpful comment
@GeorgePlotnikov big thanks for doing this! I checked your new diagnoser and it work very well!
Fixed by #573 and #598