I'm currently making an application that analyses the typed AST of an FSharp program using FSharp Compiler Service.
I'm running into issues when it comes to identifying mutually recursive functions on module level declarations.
The TAST patterns allow me to determine if an expression is a recursive let with the pattern:
| BasicPatterns.LetRec(recursiveBindings, bodyExpr) ->
However, if I am at the module level, I instead get (in the case of 2 mutually recursive functions) 2 unrelated matches on the the matching rule for implementation file declarations:
| FSharpImplementationFileDeclaration.MemberOrFunctionOrValue(memberOrFuncOrVal, args, body) ->
I have been looking very thoroughly through the types of memberOrFuncOrVal, args and body and found not reference to the fact that the let binding is recursive, or any reference to the other mutually recursive function.
Is this information simply not available at the Typed AST level, or am I looking in the wrong place?