From e896b24f58078243dc33471c419bbbc973d92002 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 26 Feb 2023 11:23:30 +0100
Subject: [PATCH] print ` before enum types

---
 lib/Quox/Syntax/Term/Pretty.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index e34a1c3..5d8e538 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -110,7 +110,8 @@ mutual
       let GotPairs {init, last, _} = getPairs t in
       prettyTuple $ s :: init ++ [last]
     prettyM (Enum tags) =
-      pure $ braces . aseparate comma $ map prettyTag $ Prelude.toList tags
+      pure $ delims "`{" "}" . aseparate comma $ map prettyTag $
+        Prelude.toList tags
     prettyM (Tag t) =
       pure $ prettyTag t
     prettyM (Eq (S _ (N ty)) l r) =