From b1eefb0f4dfedfd381494fcba761a887f41ae718 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 20 Sep 2023 21:58:42 +0200
Subject: [PATCH] move prettyTag to Quox.Pretty

---
 lib/Quox/Pretty.idr             | 4 ++++
 lib/Quox/Syntax/Term/Pretty.idr | 4 ----
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/Quox/Pretty.idr b/lib/Quox/Pretty.idr
index 712e499..4aaf792 100644
--- a/lib/Quox/Pretty.idr
+++ b/lib/Quox/Pretty.idr
@@ -309,3 +309,7 @@ prettyLoc (L NoLoc) =
   hcat <$> sequence [hl TVarErr "no location", colonD]
 prettyLoc (L (YesLoc file b)) =
   hcat <$> sequence [hl Free $ text file, colonD, prettyBounds b]
+
+export
+prettyTag : {opts : _} -> String -> Eff Pretty (Doc opts)
+prettyTag tag = hl Tag $ text $ "'" ++ quoteTag tag
diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index b267743..691cfd6 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -283,10 +283,6 @@ layoutComp typq val r arms = do
       [typq, [val, r <++> lb], map (indent ind) arms, [rb]])
 
 
-export
-prettyTag : {opts : _} -> String -> Eff Pretty (Doc opts)
-prettyTag tag = hl Tag $ text $ "'" ++ quoteTag tag
-
 export
 prettyEnum : {opts : _} -> List String -> Eff Pretty (Doc opts)
 prettyEnum cases =