diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/scriptum.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index 5083e0afc..e99367e91 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -24,7 +24,7 @@ ["." utf8]]] [collection ["." sequence (#+ Sequence) ("#\." functor)] - ["." list ("#\." functor fold)]]] + ["." list ("#\." functor mix)]]] [math [number ["n" nat]]] @@ -318,7 +318,7 @@ #macros (list) #implementations (list) #values (list)}] - (|> (list\fold add_definition init defs) + (|> (list\mix add_definition init defs) (revised@ #types (list.sorted name_sort)) (revised@ #macros (list.sorted name_sort)) (revised@ #implementations (list.sorted name_sort)) @@ -399,9 +399,9 @@ md.empty) type_code))))) types)] - (in (list\fold (function.flipped md.then) - (md.heading/2 "Types") - type_docs)))) + (in (list\mix (function.flipped md.then) + (md.heading/2 "Types") + type_docs)))) (def: (document_macros module_name names) (-> Text (List [Text Code]) (Markdown Block)) @@ -415,8 +415,8 @@ (do maybe.monad [documentation (annotation.documentation def_annotations)] (in (md.code documentation)))))))) - (list\fold (function.flipped md.then) - (md.heading/2 "Macros")))) + (list\mix (function.flipped md.then) + (md.heading/2 "Macros")))) (template [<singular> <plural> <header>] [(def: (<singular> module type) @@ -443,8 +443,8 @@ _ md.empty) (<singular> module value_type))))) - (list\fold (function.flipped md.then) - (md.heading/2 <header>))))] + (list\mix (function.flipped md.then) + (md.heading/2 <header>))))] [document_implementation document_implementations "Implementations"] [document_value document_values "Values"] @@ -493,7 +493,7 @@ (-> [Text (Markdown Block)] (IO Any)) (let [path (format (text.replaced "/" "_" module_name) ".md")] (do io.monad - [outcome (\ file.default write (\ utf8.codec encode (md.markdown documentation)) path)] + [outcome (\ file.default write (\ utf8.codec encoded (md.markdown documentation)) path)] (in (case outcome (#try.Failure error) (debug.log! (exception.error io_error error)) |