From 9f039e8a0a09e0278547d697efa018cd3fd68672 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 30 Jul 2021 01:12:05 -0400 Subject: More renamings. --- stdlib/source/program/scriptum.lux | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'stdlib/source/program/scriptum.lux') diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index fd66e6d61..a440042c4 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -176,9 +176,9 @@ ([#.Var "⌈v:" "⌋"] [#.Ex "⟨e:" "⟩"]) - (^template [ ] + (^template [ ] [[_ ( _)] - (let [[level' body] ( type) + (let [[level' body] ( type) args (level_to_args level level') body_doc (pprint_type_definition (n.+ level level') type_func_info tags module signature? recursive_type? body)] (format "(" " " "[" (text.join_with " " args) "]" @@ -241,9 +241,9 @@ ([#.Var "⌈" "⌋"] [#.Ex "⟨" "⟩"]) - (^template [ ] + (^template [ ] [( _) - (let [[level' body] ( type) + (let [[level' body] ( type) args (level_to_args level level') body_doc (pprint_type (n.+ level level') type_func_name module body)] (format "(" " " "[" (|> args (list.interpose " ") (text.join_with "")) "]" @@ -371,7 +371,7 @@ (|> type (unravel_type_func nesting) (when> [(new> recursive_type? [])] [unrecurse_type]) - (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.default (list) tags) module signature? recursive_type?) + (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.else (list) tags) module signature? recursive_type?) (text.split_all_with text.new_line) (list\map (|>> (format " "))) (text.join_with text.new_line)) @@ -411,7 +411,7 @@ ($_ md.then (md.heading/3 name) (<| (: (Markdown Block)) - (maybe.default md.empty) + (maybe.else md.empty) (do maybe.monad [documentation (annotation.documentation def_annotations)] (in (md.code documentation)))))))) @@ -463,7 +463,7 @@ [#let [(^slots [#types #macros #implementations #values]) organization annotations (|> module (get@ #.module_annotations) - (maybe.default (' {})) + (maybe.else (' {})) annotation.documentation) description (case annotations (#.Some doc_text) -- cgit v1.2.3