tweag/ormolu

Format existential data types better

brandonchinn178 opened this issue · 1 comments

brandonchinn178 commented

I think this should be the correct formatting:

data IndexWithInfo schema =
  forall x.
  IndexWithInfo
    { checkedIndex :: Index schema x
    , checkedIndexName :: U.Variable
    , checkedIndexType :: Type x
    }

Currently, Ormolu reformats this to

data IndexWithInfo schema = forall x.
  IndexWithInfo
  { checkedIndex :: Index schema x
  , checkedIndexName :: U.Variable
  , checkedIndexType :: Type x
  }
amesgen commented

Yeah, I think we could respect few more linebreaks here, also see #947.