From f5b75edd91389f0a45045b707abfa36c746e8d54 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 30 Jan 2025 16:57:47 +0000
Subject: Modify definition of data types.

---
 src/Inky/Type/Pretty.idr | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/Inky/Type')

diff --git a/src/Inky/Type/Pretty.idr b/src/Inky/Type/Pretty.idr
index 03b9964..7cd185c 100644
--- a/src/Inky/Type/Pretty.idr
+++ b/src/Inky/Type/Pretty.idr
@@ -78,9 +78,8 @@ lessPrettyType (TSum (MkRow as _)) d =
       (neutral <++> concatWith (surround $ line <+> ";" <++> neutral) parts <+> line)
       (concatWith (surround $ ";" <++> neutral) parts)
 lessPrettyType (TFix x a) d =
-  group $ align $ hang 2 $ parens $
-    "\\" <+> pretty x <++> "=>" <+> line <+>
-    prettyType a Open
+  group $ align $ hang 2 $ parenthesise (d < App) $
+    pretty "data" <++> pretty x <+> line <+> prettyType a Atom
 
 lessPrettyTypeCtx [<] d = [<]
 lessPrettyTypeCtx (as :< (x :- a)) d =
-- 
cgit v1.2.3