diff options
| author | Eduardo Julian | 2021-07-30 01:12:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-30 01:12:05 -0400 |
| commit | 9f039e8a0a09e0278547d697efa018cd3fd68672 (patch) | |
| tree | 0b2298edfae39efa7195fc5152d267cc25dd7fc1 /stdlib/source/program/scriptum.lux | |
| parent | 54b28c1caeda08965c258411a32229be1766d47f (diff) | |
More renamings.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
| -rw-r--r-- | stdlib/source/program/scriptum.lux | 14 |
1 files changed, 7 insertions, 7 deletions
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 [<tag> <name> <flatten>] + (^template [<tag> <name> <flat>] [[_ (<tag> _)] - (let [[level' body] (<flatten> type) + (let [[level' body] (<flat> 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 "(" <name> " " "[" (text.join_with " " args) "]" @@ -241,9 +241,9 @@ ([#.Var "⌈" "⌋"] [#.Ex "⟨" "⟩"]) - (^template [<tag> <name> <flatten>] + (^template [<tag> <name> <flat>] [(<tag> _) - (let [[level' body] (<flatten> type) + (let [[level' body] (<flat> type) args (level_to_args level level') body_doc (pprint_type (n.+ level level') type_func_name module body)] (format "(" <name> " " "[" (|> 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) |