From 06bd13433cb5e7edcff551454107c9d4e4d88f8f Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 5 Jan 2023 17:06:33 +0000
Subject: Add more program structure to normal forms.

---
 src/Obs/Logging.idr | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/Obs/Logging.idr')

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)
 
-- 
cgit v1.2.3