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

automatically run ormolu

Browse Source
This commit is contained in:
pchiusano 2023-07-19 21:39:11 +00:00 committed by github-actions[bot]
parent 665f5d9df1
commit 8326a41580
1 changed files with 22 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
parser-typechecker/src/Unison/Syntax/TermPrinter.hs
View File

@ -952,31 +952,36 @@ prettyBinding0' a@AmbientContext {imports = im, docContext = doc} v term =
}
LamsNamedOrDelay' vs body -> do
prettyBody <- pretty0 (ac (-1) Block im doc) body
case body of
case body of
-- allow soft hangs when first line is a function application
-- that ends in a delay or other soft-hangable element
-- foo = fork loc do
-- ...
-- foo =
-- foo =
-- fork loc do
-- ...
Apps' _f args | Just (_, last) <- unsnoc args, isSoftHangable last -> pure $
PrettyBinding
{ typeSignature = Nothing,
term =
PP.group $
PP.group (defnLhs v vs <> fmt S.BindingEquals " = ") <>
prettyBody `PP.orElse` ("\n" <> PP.indentN 2 prettyBody)
}
_ -> pure $
Apps' _f args
| Just (_, last) <- unsnoc args,
isSoftHangable last ->
pure $
PrettyBinding
{ typeSignature = Nothing,
term =
PP.group $
PP.group (defnLhs v vs <> fmt S.BindingEquals " = ")
<> prettyBody
`PP.orElse` ("\n" <> PP.indentN 2 prettyBody)
}
_ ->
pure $
-- Special case for 'let being on the same line
let hang = if isSoftHangable body then PP.softHang else PP.hang
in PrettyBinding
{ typeSignature = Nothing,
term =
PP.group $
PP.group (defnLhs v vs <> fmt S.BindingEquals " =") `hang` prettyBody
}
in PrettyBinding
{ typeSignature = Nothing,
term =
PP.group $
PP.group (defnLhs v vs <> fmt S.BindingEquals " =") `hang` prettyBody
}
t -> error ("prettyBinding0: unexpected term: " ++ show t)
where
defnLhs v vs