Skip to content
This repository was archived by the owner on Oct 7, 2020. It is now read-only.
This repository was archived by the owner on Oct 7, 2020. It is now read-only.

Add 'Add EmptyDataDecls' code action #1183

@expipiplus1

Description

@expipiplus1

Given the below code, GHC suggests turning on EmptyDataDecls:

data Foo

The error message from GHC looks like ‘Foo’ has no constructors (EmptyDataDecls permits this)

It would be great to have this as a code action.

See also #890

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions