aboutsummaryrefslogtreecommitdiff
path: root/luxc
diff options
context:
space:
mode:
authorEduardo Julian2017-12-25 00:24:18 -0400
committerEduardo Julian2017-12-25 00:24:18 -0400
commita4c4a5b8c744eae8108c02e402600a61fdc74d02 (patch)
tree8b11a6c4a6adc3dd28e289426c3a923449b7e0d0 /luxc
parent342cc20371fd43a6d6ac93620283072dbdcc26ac (diff)
- Added module for predicates.
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
Diffstat (limited to '')
-rw-r--r--luxc/src/lux/type.clj4
1 files changed, 2 insertions, 2 deletions
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"