Skip to content

Indenting data types seems broken and not configurable #1125

Closed
@karljs

Description

@karljs

I realize there is a lot going on with indentation right now, but this seemed like a pretty extreme case of something simple not working at all. I looked through the other issues, too, and didn't spot anything. Here's the scenario. Start defining a new data type:

data Foo = Bar

Newline, pipe character, indent, now gives:

data Foo = Bar
  | Baz

And repeated tab presses do nothing to indent this further. I want to align the pipe character with the equals character, as is common when not using GADTs.

If I already have two or more lines in the data type definition, then adding more after that seems to work just fine. Thinking maybe this was just a new default, I looked through the customization options, but didn't see one that corresponds to this.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions