From 413c4548983d4b794a8480aefc94e20e6acf2802 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 22 Aug 2022 10:08:18 +0200
Subject: [PATCH] pretty print E constructor as [brackets]

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

diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index 1386cd2..ea5457e 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -40,7 +40,7 @@ mutual
         sep [!lamD, hl TVar !(prettyM x), !arrowD]
           <//> !(under T x $ prettyM t)
     prettyM (E e) =
-      prettyM e
+      pure $ hl Delim "[" <+> !(prettyM e) <+> hl Delim "]"
     prettyM (CloT s th) =
       parensIfM SApp . hang 2 =<<
         [|withPrec SApp (prettyM s) </> prettyTSubst th|]