From 7fd7a316357aef9130dba60962a7310f71c66c87 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 11 Feb 2023 18:14:31 +0100
Subject: [PATCH] =?UTF-8?q?write=20variables=20as=20#=F0=9D=91=96?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

previously non-coloured output was too ambiguous
---
 lib/Quox/Syntax/Var.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Quox/Syntax/Var.idr b/lib/Quox/Syntax/Var.idr
index cedb87c..3a589e2 100644
--- a/lib/Quox/Syntax/Var.idr
+++ b/lib/Quox/Syntax/Var.idr
@@ -62,7 +62,7 @@ parameters {auto _ : Pretty.HasEnv m}
   prettyVar' hlok hlerr names i =
     case inBounds i names of
          Yes _ => hlF' hlok [|prettyM (index i names) <+> prettyIndex i|]
-         No  _ => pure $ hl hlerr $ pretty i
+         No  _ => pure $ hl hlerr $ "#" <+> pretty i
 
   export %inline
   prettyVar : HL -> HL -> List Name -> Var n -> m (Doc HL)