aboutsummaryrefslogtreecommitdiff
path: root/lux-bootstrapper/src
diff options
context:
space:
mode:
Diffstat (limited to 'lux-bootstrapper/src')
-rw-r--r--lux-bootstrapper/src/lux/type.clj4
1 files changed, 2 insertions, 2 deletions
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)