Skip to content

Infix data constructor in patterns vs. expressions #500

@zliu41

Description

@zliu41

Input:

data Foo a b = a :+: b

(foo, bar, baz) = ((), (), ())

x =
  foo
    :+: bar
    :+: baz

foo'
  :+: bar'
  :+: baz'
  = x

Output:

data Foo a b = a :+: b

(foo, bar, baz) = ((), (), ())

x =
  foo
    :+: bar
    :+: baz

foo' :+:
  bar' :+:
  baz' =
    x

Is there any reason not to consistently place :+: at the beginning or at the end of a line?

Metadata

Metadata

Assignees

Labels

styleNitpicking and things related to purely visual aspect for formatting.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions