decompile not producing correct output in generic method calls

[eiriktsarpalis]

Consider the code:

decompile <@ typeof<int> @>     // correct: "typeof<int>"
decompile <@ Unchecked.defaultof<int> @> // wrong: "Unchecked.defaultof"

and

type Foo<'T>() = class end
decompile <@ new Foo<int>() @> // correct: "new Bar<int>()"

type Bar =
    static member Bar<'T>() = Unchecked.defaultof<'T>

decompile <@ Bar.Bar<int> () @> // wrong: "Bar.Bar()"

[stephen-swensen]

Thanks @eiriktsarpalis for reporting these issues with decompile! I will definitely look into them and see what improvements can be made. Please do note that decompile is a sort of "best effort" with trade-offs for readability vs. correctness. (whereas eval and reduce need to be rock-solid for correctness of test evaluations).