aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/scriptum.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-06-20 22:32:59 -0400
committerEduardo Julian2019-06-20 22:32:59 -0400
commitb71b861008381626633bf28b033cd866d7e4e0b7 (patch)
tree3ee21cd21e6dd80f6fcdf90173bbd6162b616d8f /stdlib/source/program/scriptum.lux
parentfcee38da766a683ed5569978be153c6e7a8ae0af (diff)
Improved the convention for using text formatters.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
-rw-r--r--stdlib/source/program/scriptum.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux
index 1522e8f66..569371900 100644
--- a/stdlib/source/program/scriptum.lux
+++ b/stdlib/source/program/scriptum.lux
@@ -15,7 +15,7 @@
[format
["md" markdown (#+ Markdown Span Block)]]
["." text ("#;." equivalence)
- format
+ ["%" format (#+ format)]
["." encoding]]
[collection
["." sequence (#+ Sequence) ("#;." functor)]
@@ -104,10 +104,10 @@
[_ (#.Primitive name params)]
(case params
#.Nil
- (format "(primitive " (%t name) ")")
+ (format "(primitive " (%.text name) ")")
_
- (format "(primitive " (%t name) " " (|> params (list;map (pprint-type-definition level type-func-info #.None module signature? recursive-type?)) (text.join-with " ")) ")"))
+ (format "(primitive " (%.text name) " " (|> params (list;map (pprint-type-definition level type-func-info #.None module signature? recursive-type?)) (text.join-with " ")) ")"))
[_ (#.Sum _)]
(let [members (type.flatten-variant type)]
@@ -166,7 +166,7 @@
(^template [<tag> <pre> <post>]
[_ (<tag> id)]
- (format <pre> (%n id) <post>))
+ (format <pre> (%.nat id) <post>))
([#.Var "⌈v:" "⌋"]
[#.Ex "⟨e:" "⟩"])
@@ -196,7 +196,7 @@
[_ (#.Named [_module _name] type)]
(if (text;= module _module)
_name
- (%name [_module _name]))
+ (%.name [_module _name]))
)))
(def: (pprint-type level type-func-name module type)
@@ -205,10 +205,10 @@
(#.Primitive name params)
(case params
#.Nil
- (format "(primitive " (%t name) ")")
+ (format "(primitive " (%.text name) ")")
_
- (format "(primitive " (%t name) " " (|> params (list;map (pprint-type level type-func-name module)) (list.interpose " ") (text.join-with "")) ")"))
+ (format "(primitive " (%.text name) " " (|> params (list;map (pprint-type level type-func-name module)) (list.interpose " ") (text.join-with "")) ")"))
(#.Sum _)
(let [members (type.flatten-variant type)]
@@ -231,7 +231,7 @@
(^template [<tag> <pre> <post>]
(<tag> id)
- (format <pre> (%n id) <post>))
+ (format <pre> (%.nat id) <post>))
([#.Var "⌈" "⌋"]
[#.Ex "⟨" "⟩"])
@@ -253,7 +253,7 @@
(#.Named [_module _name] type)
(if (text;= module _module)
_name
- (%name [_module _name]))
+ (%.name [_module _name]))
))
(type: (Mutation a)
@@ -337,7 +337,7 @@
type))
(exception: #export (anonymous-type-definition {type Type})
- (ex.report ["Type" (%type type)]))
+ (ex.report ["Type" (%.type type)]))
(def: (document-type module type def-annotations)
(-> Text Type Code (Meta (Markdown Block)))