Come ottenere il nome F # di un modulo, funzione, ecc. Da corrispondenza espressione quotata

Question

Continuo a lavorare su una stampante per le espressioni citate F #, non deve essere perfetto, ma mi piacerebbe vedere cosa è possibile. I pattern attivi in ​​Microsoft.FSharp.Quotations.Patterns e Microsoft.FSharp.Quotations.DerivedPatterns utilizzati per la decomposizione di espressioni citate forniranno in genere le istanze MemberInfo quando appropriato, questi possono essere utilizzati per ottenere il nome di una proprietà, funzione, ecc. E il loro tipo "dichiarante", come un modulo o una classe statica . Il problema è, so solo come ottenere il CompiledName da queste istanze, ma mi piacerebbe il nome F #. Ad esempio,

> <@ List.mapi (fun i j -> i+j) [1;2;3] @> |> (function Call(_,mi,_) -> mi.DeclaringType.Name, mi.Name);; 
val it : string * string = ("ListModule", "MapIndexed") 

Come può essere riscritta questa corrispondenza per restituire ("List", "mapi")? È possibile?

Cordiali saluti, ecco la mia soluzione lucido finale Stringer Bell e l'aiuto di pblasucci:

let moduleSourceName (declaringType:Type) = 
    FSharpEntity.FromType(declaringType).DisplayName 

let methodSourceName (mi:MemberInfo) = 
    mi.GetCustomAttributes(true) 
    |> Array.tryPick 
      (function 
       | :? CompilationSourceNameAttribute as csna -> Some(csna) 
       | _ -> None) 
    |> (function | Some(csna) -> csna.SourceName | None -> mi.Name) 

//usage: 
let sourceNames = 
    <@ List.mapi (fun i j -> i+j) [1;2;3] @> 
    |> (function Call(_,mi,_) -> mi.DeclaringType |> moduleSourceName, mi |> methodSourceName); 

Answer 1

È possibile utilizzare F # PowerPack a tal fine:

open Microsoft.FSharp.Metadata 
... 
| Call(_, mi, _) -> 
    let ty = Microsoft.FSharp.Metadata.FSharpEntity.FromType(mi.DeclaringType) 
    let name = ty.DisplayName // name is List 

Tuttavia, non lo faccio pensa se è possibile recuperare il nome della funzione con powerpack.

Edit:

Come accennato da pblasucci, è possibile utilizzare l'attributo CompilationSourceName per il recupero nome di origine:

let infos = mi.DeclaringType.GetMember(mi.Name) 
let att = infos.[0].GetCustomAttributes(true) 
let fName = 
    (att.[1] :?> CompilationSourceNameAttribute).SourceName // fName is mapi