Skip to content

Code action for adding language extension is duplicated for (at least) EmptyCase #467

New issue
New issue
Closed
Closed
Code action for adding language extension is duplicated for (at least) EmptyCase#467
Labels
component: ghcidetype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..
@mpickering

Description

@mpickering
mpickering
opened on Oct 5, 2020

For example:

Screen Shot 2020-10-05 at 15 30 37

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: ghcidetype: 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