digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity

Simplify the pretty printing of location info in DAML-LF (#2530)

Browse Source
This commit is contained in:
Martin Huschenbett 2019-08-14 12:05:50 +02:00 committed by mergify[bot]
parent 502b09e5e7
commit 4f178a3a63
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Pretty.hs
View File

@ -421,7 +421,7 @@ instance Pretty Expr where
EUpdate upd -> pPrintPrec lvl prec upd
EScenario scen -> pPrintPrec lvl prec scen
ELocation loc x
| lvl >= PrettyLevel 1 -> sep ["@location" <> parens (pretty loc), nest 2 (parens (pPrintPrec lvl 0 x))]
| lvl >= PrettyLevel 1 -> prettyAppDoc lvl prec ("@location" <> parens (pretty loc)) [TmArg x]
| otherwise -> pPrintPrec lvl prec x
ESome typ body -> prettyAppKeyword lvl prec "some" [TyArg typ, TmArg body]
ENone typ -> prettyAppKeyword lvl prec "none" [TyArg typ]