Skip to content

decompile not producing correct output in generic method calls #125

Open
Open
decompile not producing correct output in generic method calls#125
Labels
enhancementhelp wanted

Description

@eiriktsarpalis
eiriktsarpalis
opened on Jun 9, 2016

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

  1. stephen-swensen commented on Jun 16, 2016

    @stephen-swensen
    stephen-swensen
    on Jun 16, 2016
    Contributor

    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).

  2. stephen-swensen
    added
    enhancement
    help wanted
    on May 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementhelp wanted

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions