Skip to content

Witnesses #2104

@alfonsogarciacaro

Description

@alfonsogarciacaro

Related #2101 #2083

SRTP resolution in Fable is not good and fails many times as in the issues reported above. This is because the F# TypedTree didn't expose much information and Fable had to make its own rudimentary resolution.

Fortunately this is about to change thanks to Don Syme work to include witnesses for SRTP resolution in the TypedTree and expose them in the FCS API: dotnet/fsharp#9510

Use the new FCS to take advantage of the witnesses and use the same STRP resolution as the F# compiler does.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions