Skip to content

Wingman: Empty case code actions don't respect skolems #2173

@isovector

Description

@isovector

#2172 makes it clear we don't have enough information about the skolems in scope when producing empty case constructors. This means Wingman will suggest alternatives that are inaccessable.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions