diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-05 17:06:33 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-05 17:06:33 +0000 |
| commit | 06bd13433cb5e7edcff551454107c9d4e4d88f8f (patch) | |
| tree | a2eae19d92df1564290f3ff53c68587d0d696384 /src/Obs/Logging.idr | |
| parent | 3950a84c00f54ab39f2a209c368cc02460eeebd7 (diff) | |
Add more program structure to normal forms.
Diffstat (limited to 'src/Obs/Logging.idr')
| -rw-r--r-- | src/Obs/Logging.idr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Obs/Logging.idr b/src/Obs/Logging.idr index 5666001..07060e6 100644 --- a/src/Obs/Logging.idr +++ b/src/Obs/Logging.idr @@ -48,10 +48,10 @@ pretty msg = let leader = hsep $ [ fill 6 (pretty (show msg.lvl) <+> colon) ] ++ - [ Doc.pretty $ concat {t = List} $ - case msg.bounds of - Nothing => [] - Just bounds => + (case msg.bounds of + Nothing => [] + Just bounds => + [ Doc.pretty $ concat {t = List} $ [ show (1 + bounds.startLine) , ":" , show bounds.startCol @@ -61,7 +61,7 @@ pretty msg = , show bounds.endCol , ":" ] - ] ++ + ]) ++ map (\s => pretty s <+> colon) msg.tags in group $ width (group leader <+> line) (\width => group $ indent (2 - width) msg.msg) |