From 868550327ca0449136fea81a8b2f072807a6c7c2 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 3 Apr 2023 16:08:10 +0200
Subject: [PATCH] print ':' on same line as name always

---
 exe/Main.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/exe/Main.idr b/exe/Main.idr
index c44f469..51e7562 100644
--- a/exe/Main.idr
+++ b/exe/Main.idr
@@ -25,8 +25,8 @@ main = do
     Right res <- fromParserIO ["."] seen defs $ loadProcessFile file
       | Left err => die $ prettyError True True err
     for_ res $ \(name, def) => do
-      putDoc $ map termHL $
-        sep [hl Free $ pretty0 True name, colonD,
+      putDoc $ map termHL $ nest 2 $
+        sep [hsep [hl Free $ pretty0 True name, colonD],
              prettyTerm True [<] [<] def.type]
 
 -----------------------------------