unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-24 00:39:58 +03:00
Code Issues Projects Releases Wiki Activity

remove stray space for nullary ctors

Browse Source
This commit is contained in:
Paul Chiusano 2019-03-26 17:40:30 -04:00
parent 5fc75f5e70
commit 2ab759444e
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
parser-typechecker/src/Unison/DeclPrinter.hs
View File

@ -74,12 +74,10 @@ prettyDataDecl env r name dd =
where
constructor (n, (_, _, (Type.ForallsNamed' _ t))) = constructor' n t
constructor (n, (_, _, t) ) = constructor' n t
constructor' n t =
P.group . P.hang' (prettyPattern env r name n) " " $
P.spaced (TypePrinter.pretty env 10 <$> case Type.unArrows t of
Nothing -> mempty
Just ts -> init ts
)
constructor' n t = case Type.unArrows t of
Nothing -> prettyPattern env r name n
Just ts -> P.group . P.hang' (prettyPattern env r name n) " "
$ P.spaced (TypePrinter.pretty env 10 <$> init ts)
header =
P.sep " " (prettyDataHeader name : (P.text . Var.name <$> DD.bound dd))
<> (" = " `P.orElse` "\n = ")