From a4c4a5b8c744eae8108c02e402600a61fdc74d02 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 25 Dec 2017 00:24:18 -0400
Subject: - Added module for predicates. - Added refinement types. - Small
 refactorings and fixes. - Added the capacity to unquote expressions inside
 the 'lux.type' macro.

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

(limited to 'luxc')

diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj
index 897b3bc67..d5d6b0316 100644
--- a/luxc/src/lux/type.clj
+++ b/luxc/src/lux/type.clj
@@ -423,10 +423,10 @@
     (&/$Primitive name params)
     (|case params
       (&/$Nil)
-      (str "(primitive " name ")")
+      (str "(primitive " (pr-str name) ")")
 
       _
-      (str "(primitive " name " " (->> params (&/|map show-type) (&/|interpose " ") (&/fold str "")) ")"))
+      (str "(primitive " (pr-str name) " " (->> params (&/|map show-type) (&/|interpose " ") (&/fold str "")) ")"))
 
     (&/$Void)
     "Void"
-- 
cgit v1.2.3