From ec1f31b5a1492d5e0ab260397291d4449483bbd9 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 23 Aug 2021 02:30:53 -0400 Subject: The Python compiler can now be compiled by the new JVM compiler. --- stdlib/source/program/scriptum.lux | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'stdlib/source/program/scriptum.lux') 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 [
] [(def: ( module type) @@ -443,8 +443,8 @@ _ md.empty) ( module value_type))))) - (list\fold (function.flipped md.then) - (md.heading/2
))))] + (list\mix (function.flipped md.then) + (md.heading/2
))))] [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)) -- cgit v1.2.3