diff options
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) |