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.
The implementation should mirror the
InlineDiagnoserpretty 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.