Repository navigation
decompile not producing correct output in generic method calls #125
Description
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()"
Activity
stephen-swensen commentedon Jun 16, 2016
Thanks @eiriktsarpalis for reporting these issues with
decompile! I will definitely look into them and see what improvements can be made. Please do note thatdecompileis a sort of "best effort" with trade-offs for readability vs. correctness. (whereasevalandreduceneed to be rock-solid for correctness oftestevaluations).