diff options
| author | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
| commit | a4c4a5b8c744eae8108c02e402600a61fdc74d02 (patch) | |
| tree | 8b11a6c4a6adc3dd28e289426c3a923449b7e0d0 /luxc | |
| parent | 342cc20371fd43a6d6ac93620283072dbdcc26ac (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 'luxc')
| -rw-r--r-- | luxc/src/lux/type.clj | 4 |
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" |