From e53c1a090eb9cfac3cb23d10d981648d02518ed1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 13 Aug 2021 04:18:57 -0400 Subject: Made program: specify its bindings the same way as syntax:. --- stdlib/source/program/scriptum.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/program/scriptum.lux') diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index 9128fdc60..ab4c2e787 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -93,7 +93,7 @@ (def: (prefix_lines prefix lines) (-> Text Text Text) (|> lines - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format prefix))) (text.join_with text.new_line))) @@ -372,7 +372,7 @@ (unravel_type_func nesting) (when> [(new> recursive_type? [])] [unrecurse_type]) (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.else (list) tags) module interface? recursive_type?) - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format " "))) (text.join_with text.new_line)) ")")))) @@ -399,7 +399,7 @@ md.empty) type_code))))) types)] - (in (list\fold (function.flip md.then) + (in (list\fold (function.flipped md.then) (md.heading/2 "Types") type_docs)))) @@ -415,7 +415,7 @@ (do maybe.monad [documentation (annotation.documentation def_annotations)] (in (md.code documentation)))))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2 "Macros")))) (template [
] @@ -443,7 +443,7 @@ _ md.empty) ( module value_type))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2
))))] [document_implementation document_implementations "Implementations"] @@ -453,7 +453,7 @@ (def: (enclose_lines pre+post block) (-> [Text Text] Text Text) (|> block - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (text.enclosed pre+post)) (text.join_with text.new_line))) -- cgit v1.2.3