From 14bf4ffe5d7d88692ab895f96a2bb6a829a406de Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 20 Jan 2022 04:30:57 -0400
Subject: Better text formatting for types.

---
 lux-bootstrapper/src/lux/type.clj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lux-bootstrapper')

diff --git a/lux-bootstrapper/src/lux/type.clj b/lux-bootstrapper/src/lux/type.clj
index aa2f8c9f2..9935d9cfa 100644
--- a/lux-bootstrapper/src/lux/type.clj
+++ b/lux-bootstrapper/src/lux/type.clj
@@ -393,10 +393,10 @@
       (str "(-> " (->> ?ins (&/|map show-type) (&/|interpose " ") (&/fold str "")) " " (show-type ?out) ")"))
 
     (&/$Var id)
-    (str "⌈v:" id "⌋")
+    (str "-" id)
 
     (&/$Ex ?id)
-    (str "⟨e:" ?id "⟩")
+    (str "+" ?id)
 
     (&/$Parameter idx)
     (str idx)
-- 
cgit v1.2.3