CurriedParameterGroups can not be accessed in a nested function.

[7sharp9]

The following code illustrates the issue:

module Test =
    let half (str: string) = str.[..str.Length / 2]

[<EntryPoint>]
let main argv = 
    let half (str: string) = str.[..str.Length / 2]
    0

Both symbols for half should have the same CurriedParameterGroups count, however the second one defined within the main function throws an exception when CurriedParameterGroups is accessed stating: not a module let binding or member

If this is not supported then how van the type parameters for the function be accessed.

[7sharp9]

I have a test for this too if you want a PR for it?

[dsyme]

Hmmm.... I suspect it's "by design" that CurriedParameterGroups are not currently available. For example, Visual Studio doesn't show the parameter names for local functions. That said, the information must be there, because closure arguments are given the correct names in debug code.

Submit a PR with a failing test, it feels like it should be possible to add this as a value-add feature.

[7sharp9]

I thought that might be the case, the formatting is slightly different between the two, where in the nested definition there is no named argument just val half: (string -> string). This text is available via

let sigText = symbol.FullType.Format symbolUse.DisplayContext

It would be great to be able to access the CurriedParameterGroups as then the name and type is available for use, other wise the only way to get the types is to access the GenericArguments to build them yourself, or hack apart the symbol.FullType.Format and reassemble, which isn't ideal.

[7sharp9]

This is now implemented via PR #298