From 616ce8051f59f956fedc57780f5a8fefa16dd61d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 14:19:07 -0400 Subject: Re-named "partial_list" to "list.partial". --- licentia/source/program/licentia/license/grant.lux | 6 ++-- lux-lua/source/program.lux | 2 +- lux-mode/lux-mode.el | 2 +- lux-python/source/program.lux | 2 +- stdlib/source/documentation/lux.lux | 8 ------ stdlib/source/library/lux.lux | 2 +- .../source/library/lux/control/function/mutual.lux | 2 +- stdlib/source/library/lux/control/parser.lux | 2 +- stdlib/source/library/lux/control/parser/code.lux | 7 +++-- stdlib/source/library/lux/control/parser/json.lux | 4 +-- .../library/lux/control/parser/synthesis.lux | 14 ++++++---- stdlib/source/library/lux/control/parser/type.lux | 2 +- stdlib/source/library/lux/control/pipe.lux | 2 +- stdlib/source/library/lux/data/collection/list.lux | 29 ++++++++++++++++---- .../source/library/lux/data/collection/queue.lux | 2 +- .../source/library/lux/data/collection/stream.lux | 4 +-- stdlib/source/library/lux/data/format/css.lux | 2 +- .../source/library/lux/data/format/css/value.lux | 6 ++-- stdlib/source/library/lux/data/format/html.lux | 8 +++--- stdlib/source/library/lux/data/text/regex.lux | 8 +++--- stdlib/source/library/lux/documentation.lux | 22 +++++++-------- stdlib/source/library/lux/ffi.jvm.lux | 4 +-- stdlib/source/library/lux/ffi.lux | 14 +++++----- stdlib/source/library/lux/ffi.old.lux | 4 +-- stdlib/source/library/lux/ffi.php.lux | 2 +- stdlib/source/library/lux/macro.lux | 4 +-- stdlib/source/library/lux/macro/pattern.lux | 3 ++ stdlib/source/library/lux/macro/syntax.lux | 2 +- stdlib/source/library/lux/math.lux | 2 +- stdlib/source/library/lux/target/common_lisp.lux | 16 +++++------ stdlib/source/library/lux/target/jvm/bytecode.lux | 4 +-- stdlib/source/library/lux/target/jvm/method.lux | 5 ++-- stdlib/source/library/lux/target/php.lux | 4 +-- stdlib/source/library/lux/target/python.lux | 2 +- stdlib/source/library/lux/target/scheme.lux | 4 +-- .../library/lux/tool/compiler/default/init.lux | 2 +- .../compiler/language/lux/analysis/coverage.lux | 2 +- .../compiler/language/lux/analysis/inference.lux | 4 +-- .../compiler/language/lux/phase/analysis/case.lux | 8 +++--- .../language/lux/phase/analysis/complex.lux | 4 +-- .../tool/compiler/language/lux/phase/directive.lux | 8 +++--- .../language/lux/phase/extension/analysis/js.lux | 6 ++-- .../language/lux/phase/extension/analysis/jvm.lux | 32 +++++++++++----------- .../language/lux/phase/extension/analysis/lua.lux | 4 +-- .../language/lux/phase/extension/analysis/lux.lux | 2 +- .../language/lux/phase/extension/analysis/php.lux | 6 ++-- .../lux/phase/extension/analysis/python.lux | 4 +-- .../language/lux/phase/extension/analysis/ruby.lux | 4 +-- .../lux/phase/extension/analysis/scheme.lux | 2 +- .../language/lux/phase/extension/directive/jvm.lux | 2 +- .../lux/phase/extension/generation/jvm/host.lux | 2 +- .../lux/phase/extension/generation/php/common.lux | 6 ++-- .../lux/phase/generation/common_lisp/case.lux | 4 +-- .../lux/phase/generation/common_lisp/loop.lux | 2 +- .../language/lux/phase/generation/jvm/function.lux | 4 +-- .../jvm/function/method/implementation.lux | 2 +- .../phase/generation/jvm/function/method/init.lux | 2 +- .../language/lux/phase/generation/jvm/runtime.lux | 4 +-- .../language/lux/phase/generation/php/function.lux | 2 +- .../lux/phase/generation/r/procedure/host.lux | 4 +-- .../compiler/language/lux/phase/synthesis/case.lux | 2 +- .../compiler/language/lux/phase/synthesis/loop.lux | 4 +-- .../compiler/meta/cache/dependency/artifact.lux | 6 ++-- .../lux/tool/compiler/meta/packager/ruby.lux | 2 +- stdlib/source/library/lux/type.lux | 8 +++--- stdlib/source/library/lux/type/check.lux | 10 +++---- stdlib/source/library/lux/type/primitive.lux | 2 +- stdlib/source/library/lux/type/resource.lux | 2 +- stdlib/source/library/lux/world/shell.lux | 2 +- .../lux/tool/compiler/language/lux/analysis.lux | 6 ++-- stdlib/source/program/aedifex/command/auto.lux | 2 +- stdlib/source/program/aedifex/command/build.lux | 2 +- .../program/aedifex/dependency/deployment.lux | 2 +- stdlib/source/program/aedifex/input.lux | 2 +- stdlib/source/program/aedifex/pom.lux | 2 +- .../source/program/aedifex/repository/remote.lux | 6 ++-- stdlib/source/test/aedifex/cache.lux | 5 ++-- stdlib/source/test/aedifex/cli.lux | 4 +-- stdlib/source/test/lux.lux | 12 +------- stdlib/source/test/lux/data/collection/stream.lux | 2 +- stdlib/source/test/lux/data/collection/tree.lux | 2 +- .../test/lux/data/collection/tree/finger.lux | 4 +-- stdlib/source/test/lux/meta.lux | 2 +- stdlib/source/test/lux/meta/configuration.lux | 2 +- .../tool/compiler/language/lux/analysis/module.lux | 16 +++++------ stdlib/source/test/lux/tool/compiler/meta/cli.lux | 6 ++-- stdlib/source/test/lux/type/check.lux | 8 +++--- stdlib/source/test/lux/world/file.lux | 4 +-- 88 files changed, 234 insertions(+), 221 deletions(-) diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index bd319a1dc..4982d5e0d 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -3,7 +3,9 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" format (.only format)]] + [collection + ["[0]" list]]]]] [// [time (.only Days)] ["_" term] @@ -61,7 +63,7 @@ " under " _.license " for " _.licensed_work " shall terminate as of the date such litigation is filed")] - ($.paragraph (partial_list grant + ($.paragraph (list.partial grant (if retaliation? (list retaliation_clause) (list)))))) diff --git a/lux-lua/source/program.lux b/lux-lua/source/program.lux index 26731f23e..ab567ae31 100644 --- a/lux-lua/source/program.lux +++ b/lux-lua/source/program.lux @@ -312,7 +312,7 @@ [5] )) - (pattern (partial_list (~~ (static.literals function.identity (..input/* 5))) input/+)) + (pattern (list.partial (~~ (static.literals function.identity (..input/* 5))) input/+)) (again ((as (~~ (static.literal function.identity (..function/* 5))) lux_function) (~~ (static.literals function.identity (..input/* 5)))) diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el index 3ae63dc14..0581193ef 100644 --- a/lux-mode/lux-mode.el +++ b/lux-mode/lux-mode.el @@ -383,7 +383,7 @@ Called by `imenu--generic-function'." (data//record (altRE "the" "has" "revised")) (data//interface (altRE "open:" "implementation" "with" "at")) (data//implicit (altRE "implicit:" "a/an" "a" "an")) - (data//collection (altRE "list" "partial_list" "sequence" "tree")) + (data//collection (altRE "list" "sequence" "tree")) ;; Code (code//quotation (altRE "`" "`'" "'" "~" "~\\+" "~!" "~'")) (code//super-quotation (altRE "``" "~~")) diff --git a/lux-python/source/program.lux b/lux-python/source/program.lux index d16446ac1..64139ca38 100644 --- a/lux-python/source/program.lux +++ b/lux-python/source/program.lux @@ -287,7 +287,7 @@ [7] [8])) - (pattern (partial_list (~~ (static.literals code.local (inputs/? 8))) + (pattern (list.partial (~~ (static.literals code.local (inputs/? 8))) input/+)) (again ((as (~~ (static.literal function.identity (function/? 8))) it) (~~ (static.literals code.local (inputs/? 8)))) diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index f43538c06..c09265d62 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -175,13 +175,6 @@ [(is (List Nat) (list 0 1 2 3))]) -(documentation: /.partial_list - "List literals, with the last element being a tail-list." - [(is (List Nat) - (partial_list 0 1 2 3 - (is (List Nat) - (list 4 5 6))))]) - (documentation: /.Union "Union types." [(Union Bit Nat Text)] @@ -924,7 +917,6 @@ ..Ex ..-> ..list - ..partial_list ..Union ..Tuple ..Or diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 812a52cb8..2eaeec883 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -1215,7 +1215,7 @@ (meta#in {#Item (list#mix |#Item| |#End| (list#reversed xs)) {#End}}))) -(def:'' .public partial_list +(def:'' .private partial_list Macro (macro (_ xs) ({{#Item last init} diff --git a/stdlib/source/library/lux/control/function/mutual.lux b/stdlib/source/library/lux/control/function/mutual.lux index 47f48a15a..31de42425 100644 --- a/stdlib/source/library/lux/control/function/mutual.lux +++ b/stdlib/source/library/lux/control/function/mutual.lux @@ -138,7 +138,7 @@ (..macro g!context g!name)]) (list.zipped_2 hidden_names functions)))] - (in (partial_list (` (.def: (~ g!context) + (in (list.partial (` (.def: (~ g!context) [(~+ (list#each (the [#mutual #type]) functions))] (.let [(~ g!context) (is (Rec (~ g!context) [(~+ context_types)]) diff --git a/stdlib/source/library/lux/control/parser.lux b/stdlib/source/library/lux/control/parser.lux index 99d4cd24e..afd8c4802 100644 --- a/stdlib/source/library/lux/control/parser.lux +++ b/stdlib/source/library/lux/control/parser.lux @@ -134,7 +134,7 @@ {try.#Success [input (list)]} {try.#Success [input' head]} - (..result (at ..monad each (|>> (partial_list head)) + (..result (at ..monad each (|>> (list.partial head)) (some parser)) input')))) diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux index 017895abf..abdcb7075 100644 --- a/stdlib/source/library/lux/control/parser/code.lux +++ b/stdlib/source/library/lux/control/parser/code.lux @@ -25,8 +25,11 @@ (def: (un_paired pairs) (All (_ a) (-> (List [a a]) (List a))) (case pairs - {.#End} {.#End} - {.#Item [[x y] pairs']} (partial_list x y (un_paired pairs')))) + {.#End} + {.#End} + + {.#Item [[x y] pairs']} + (list.partial x y (un_paired pairs')))) (type: .public Parser (//.Parser (List Code))) diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux index cf778566d..8f7fe459f 100644 --- a/stdlib/source/library/lux/control/parser/json.lux +++ b/stdlib/source/library/lux/control/parser/json.lux @@ -169,7 +169,7 @@ (All (_ a) (-> Text (Parser a) (Parser a))) (function (again inputs) (case inputs - (pattern (partial_list {/.#String key} value inputs')) + (pattern (list.partial {/.#String key} value inputs')) (if (text#= key field_name) (case (//.result parser (list value)) {try.#Success [{.#End} output]} @@ -182,7 +182,7 @@ {try.#Failure error}) (do try.monad [[inputs'' output] (again inputs')] - (in [(partial_list {/.#String key} value inputs'') + (in [(list.partial {/.#String key} value inputs'') output]))) {.#End} diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 130b271ac..834845667 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -9,7 +9,9 @@ [data ["[0]" bit] ["[0]" text (.only) - ["%" format (.only format)]]] + ["%" format (.only format)]] + [collection + ["[0]" list]]] [math [number ["n" nat] @@ -92,7 +94,7 @@ (Parser ) (.function (_ input) (case input - (pattern (partial_list ( x) input')) + (pattern (list.partial ( x) input')) {try.#Success [input' x]} _ @@ -102,7 +104,7 @@ (-> (Parser Any)) (.function (_ input) (case input - (pattern (partial_list ( actual) input')) + (pattern (list.partial ( actual) input')) (if (at = expected actual) {try.#Success [input' []]} (exception.except ..cannot_parse input)) @@ -123,7 +125,7 @@ (All (_ a) (-> (Parser a) (Parser a))) (.function (_ input) (case input - (pattern (partial_list (/.tuple head) tail)) + (pattern (list.partial (/.tuple head) tail)) (do try.monad [output (..result parser head)] {try.#Success [tail output]}) @@ -135,7 +137,7 @@ (All (_ a) (-> Arity (Parser a) (Parser [(Environment Synthesis) a]))) (.function (_ input) (case input - (pattern (partial_list (/.function/abstraction [environment actual body]) tail)) + (pattern (list.partial (/.function/abstraction [environment actual body]) tail)) (if (n.= expected actual) (do try.monad [output (..result parser (list body))] @@ -149,7 +151,7 @@ (All (_ a b) (-> (Parser a) (Parser b) (Parser [Register a b]))) (.function (_ input) (case input - (pattern (partial_list (/.loop/scope [start inits iteration]) tail)) + (pattern (list.partial (/.loop/scope [start inits iteration]) tail)) (do try.monad [inits (..result init_parsers inits) iteration (..result iteration_parser (list iteration))] diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index b2dcbce6e..c110bf599 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -343,7 +343,7 @@ [env ..env [funcT argsT] (..applied (//.and any (//.many any))) _ (local (list funcT) (..this_parameter 0)) - allC (let [allT (partial_list funcT argsT)] + allC (let [allT (list.partial funcT argsT)] (|> allT (monad.each ! (function.constant ..parameter)) (local allT)))] diff --git a/stdlib/source/library/lux/control/pipe.lux b/stdlib/source/library/lux/control/pipe.lux index d935a3c6f..611aaf179 100644 --- a/stdlib/source/library/lux/control/pipe.lux +++ b/stdlib/source/library/lux/control/pipe.lux @@ -88,7 +88,7 @@ prev .any]) (with_symbols [g!temp] (.case (list.reversed steps) - (pattern (partial_list last_step prev_steps)) + (pattern (list.partial last_step prev_steps)) (.let [step_bindings (monad.do list.monad [step (list.reversed prev_steps)] (list g!temp (` (|> (~ g!temp) (~+ step)))))] diff --git a/stdlib/source/library/lux/data/collection/list.lux b/stdlib/source/library/lux/data/collection/list.lux index 0e47ff3dd..d3afe902c 100644 --- a/stdlib/source/library/lux/data/collection/list.lux +++ b/stdlib/source/library/lux/data/collection/list.lux @@ -75,13 +75,30 @@ [{.#Item head in} out] [in {.#Item head out}])))) +(def: wrong_syntax_error + (template (_ ) + [((`` ("lux in-module" (~~ (static .prelude_module)) .wrong_syntax_error)) + (symbol ))])) + +(def: .public partial + (macro (_ tokens state) + (case (reversed tokens) + {.#Item tail heads} + {.#Right [state (list (..mix (function (_ head tail) + (` {.#Item (~ head) (~ tail)})) + tail + heads))]} + + _ + {.#Left (wrong_syntax_error ..partial)}))) + (def: .public (pairs xs) (All (_ a) (-> (List a) (Maybe (List [a a])))) (case xs - (pattern (partial_list x1 x2 xs')) + (pattern (partial x1 x2 xs')) (case (pairs xs') {.#Some tail} - {.#Some (partial_list [x1 x2] tail)} + {.#Some (partial [x1 x2] tail)} {.#None} {.#None}) @@ -255,7 +272,7 @@ xs {.#Item x xs'} - (partial_list x sep (interposed sep xs')))) + (partial x sep (interposed sep xs')))) (def: .public (size list) (All (_ a) (-> (List a) Nat)) @@ -490,7 +507,7 @@ {.#Left "Cannot zipped 0 lists."}) _ - {.#Left "Wrong syntax for zipped"}))) + {.#Left (wrong_syntax_error ..zipped)}))) (def: .public zipped_2 (zipped 2)) (def: .public zipped_3 (zipped 3)) @@ -534,7 +551,7 @@ {.#Left "Cannot zipped_with 0 lists."}) _ - {.#Left "Wrong syntax for zipped_with"}))) + {.#Left (wrong_syntax_error ..zipped_with)}))) (def: .public zipped_with_2 (zipped_with 2)) (def: .public zipped_with_3 (zipped_with 3)) @@ -617,7 +634,7 @@ (.list))))]} _ - {.#Left "Wrong syntax for when"}))) + {.#Left (wrong_syntax_error ..when)}))) (def: .public (revised item revision it) (All (_ a) (-> Nat (-> a a) (List a) (List a))) diff --git a/stdlib/source/library/lux/data/collection/queue.lux b/stdlib/source/library/lux/data/collection/queue.lux index 3919ea449..d6d421304 100644 --- a/stdlib/source/library/lux/data/collection/queue.lux +++ b/stdlib/source/library/lux/data/collection/queue.lux @@ -65,7 +65,7 @@ (has #rear (.list))) ... Consume front! - (pattern (.partial_list _ front')) + (pattern (list.partial _ front')) (|> queue (has #front front')))) diff --git a/stdlib/source/library/lux/data/collection/stream.lux b/stdlib/source/library/lux/data/collection/stream.lux index 4f77166fa..f2f45add6 100644 --- a/stdlib/source/library/lux/data/collection/stream.lux +++ b/stdlib/source/library/lux/data/collection/stream.lux @@ -68,7 +68,7 @@ (-> (Stream a) (List a))) (let [[x xs'] (//.result xs)] (if ( ) - (partial_list x ( xs')) + (list.partial x ( xs')) (list)))) (def: .public ( pred xs) @@ -138,4 +138,4 @@ (` ((~! //.result) (~ g!stream)))))) list#conjoint))] (~ body)))] - (in (partial_list g!stream body+ branches)))))) + (in (list.partial g!stream body+ branches)))))) diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux index 3bb1f1da5..15ca1ccf9 100644 --- a/stdlib/source/library/lux/data/format/css.lux +++ b/stdlib/source/library/lux/data/format/css.lux @@ -62,7 +62,7 @@ {.#None} (list))] - (|> (partial_list ["font-family" (the /font.#family font)] + (|> (list.partial ["font-family" (the /font.#family font)] ["src" (format "url(" (the /font.#source font) ")")] ["font-stretch" (|> font (the /font.#stretch) (maybe.else /value.normal_stretch) /value.value)] ["font-style" (|> font (the /font.#style) (maybe.else /value.normal_style) /value.value)] diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux index 61a8be4fb..ea886a91a 100644 --- a/stdlib/source/library/lux/data/format/css/value.lux +++ b/stdlib/source/library/lux/data/format/css/value.lux @@ -966,7 +966,7 @@ [(def: .public ( angle start next) (-> Angle Stop (List/1 [(Maybe Hint) Stop]) (Value Image)) (let [[now after] next] - (..apply (partial_list (representation Angle angle) + (..apply (list.partial (representation Angle angle) (with_hint now) (list#each with_hint after)))))] @@ -1083,7 +1083,7 @@ after_extent) where (format (..shape shape) " " with_extent) [now after] next] - (..apply (partial_list (..shape shape) + (..apply (list.partial (..shape shape) (with_hint now) (list#each with_hint after)))))] @@ -1099,7 +1099,7 @@ (let [with_inset (if inset? (list "inset") (list))] - (|> (partial_list (representation horizontal) + (|> (list.partial (representation horizontal) (representation vertical) (|> blur (maybe.else ..default_shadow_length) representation) (|> spread (maybe.else ..default_shadow_length) representation) diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux index 9d7821328..6e4928bee 100644 --- a/stdlib/source/library/lux/data/format/html.lux +++ b/stdlib/source/library/lux/data/format/html.lux @@ -177,7 +177,7 @@ (let [partial (list ["href" href]) full (case target {.#Some target} - (partial_list ["target" (..target target)] partial) + (list.partial ["target" (..target target)] partial) {.#None} partial)] @@ -261,7 +261,7 @@ (def: (%polygon [first second third extra]) (Format Polygon) - (|> (partial_list first second third extra) + (|> (list.partial first second third extra) (list#each %coord) (text.interposed ..coord_separator))) @@ -274,7 +274,7 @@ (.with_template [ ] [(def: ( attributes shape) (-> Attributes (HTML Any)) - (..simple "area" (partial_list ["shape" ] + (..simple "area" (list.partial ["shape" ] ["coords" ( shape)] attributes)))] @@ -337,7 +337,7 @@ (def: .public (anchor href attributes content) (-> URL Attributes Element Element) - (..tag "a" (partial_list ["href" href] attributes) content)) + (..tag "a" (list.partial ["href" href] attributes) content)) (def: .public label (-> ID Input) diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux index 38908a999..491bb20bb 100644 --- a/stdlib/source/library/lux/data/text/regex.lux +++ b/stdlib/source/library/lux/data/text/regex.lux @@ -296,7 +296,7 @@ {.#Right [{#Non_Capturing} complex]}) [idx names - (partial_list (list g!temp complex + (list.partial (list g!temp complex (` .let) (` [(~ g!total) (at (~! //.monoid) (~' composite) (~ g!total) (~ g!temp))])) steps)] @@ -311,8 +311,8 @@ (` ((~! product.left) (~ name!))) name!)] [idx! - (partial_list name! names) - (partial_list (list name! scoped + (list.partial name! names) + (list.partial (list name! scoped (` .let) (` [(~ g!total) (at (~! //.monoid) (~' composite) (~ g!total) (~ access))])) steps)]) ))) @@ -433,7 +433,7 @@ body .any branches (<>.many .any)]) (with_symbols [g!temp] - (in (partial_list (` (^.multi (~ g!temp) + (in (list.partial (` (^.multi (~ g!temp) [((~! .result) (..regex (~ (code.text pattern))) (~ g!temp)) {try.#Success (~ (maybe.else g!temp bindings))}])) body diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux index 7460eb2fd..22b6beba6 100644 --- a/stdlib/source/library/lux/documentation.lux +++ b/stdlib/source/library/lux/documentation.lux @@ -635,17 +635,17 @@ (do meta.monad [expected (meta.exports name)] (in (list (` (is (List Module) - (partial_list [..#module (~ (code.text name)) - ..#description (~ description) - ..#expected ((~! ..expected) - (~ (code.text (|> expected - (list#each product.left) - ..expected_format)))) - ..#definitions ((~! list.together) (list (~+ definitions)))] - (all (at (~! list.monoid) (~' composite)) - (is (List Module) - (at (~! list.monoid) (~' identity))) - (~+ subs)))))))))) + ((~! list.partial) [..#module (~ (code.text name)) + ..#description (~ description) + ..#expected ((~! ..expected) + (~ (code.text (|> expected + (list#each product.left) + ..expected_format)))) + ..#definitions ((~! list.together) (list (~+ definitions)))] + (all (at (~! list.monoid) (~' composite)) + (is (List Module) + (at (~! list.monoid) (~' identity))) + (~+ subs)))))))))) (def: listing (-> (List Text) (Markdown Block)) diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index dfc01098b..747a9697f 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -1637,7 +1637,7 @@ ((~! syntax) (~ setter_call) ((~' in) (.list (.` ((~! io.io) ((~ (code.text setter_command)) (~+ g!obj+) (~ setter_value))))))))))))) (in (list))))] - (in (partial_list getter_interop setter_interop))) + (in (list.partial getter_interop setter_interop))) ))) (def: (member_import$ vars kind class [import_format member]) @@ -1684,7 +1684,7 @@ =members (|> members (list#each (|>> [import_format])) (monad.each ! (member_import$ class_type_vars kind declaration)))] - (in (partial_list (class_import$ declaration) (list#conjoint =members)))))) + (in (list.partial (class_import$ declaration) (list#conjoint =members)))))) (def: .public array (syntax (_ [type (..type^ (list)) diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux index e9843701d..d472f5a23 100644 --- a/stdlib/source/library/lux/ffi.lux +++ b/stdlib/source/library/lux/ffi.lux @@ -587,7 +587,7 @@ g!class_variables (list#each code.local class_parameters) declaration (` ((~ (code.local (maybe.else class_name alias))) (~+ g!class_variables)))] - (in (partial_list (` (.type: (~ declaration) + (in (list.partial (` (.type: (~ declaration) (..Object (.Primitive (~ (code.text (..host_path class_name))) [(~+ g!class_variables)])))) (list#each (.function (_ member) @@ -769,7 +769,7 @@ [[state output] (monad.mix ! (.function (_ [key value] [state output]) (do ! [[state value] (phase archive (` (.is .Any (~ value))) state)] - (in [state (partial_list value (text_analysis key) output)]))) + (in [state (list.partial value (text_analysis key) output)]))) [state (list)] it)] (in [state (extension_analysis name (list.reversed output))]))) @@ -781,8 +781,8 @@ (def: (pairs it) (All (_ a) (-> (List a) (List [a a]))) (case it - (pattern (partial_list left right tail)) - (partial_list [left right] (pairs tail)) + (pattern (list.partial left right tail)) + (list.partial [left right] (pairs tail)) (pattern (list)) (list) @@ -792,7 +792,7 @@ (generation [name phase archive state] - (partial_list head_key head_value tail) + (list.partial head_key head_value tail) (do [! try.monad] [[state output] (monad.mix ! (.function (_ [key value] [state output]) @@ -800,12 +800,12 @@ (pattern (text_synthesis key)) (do try.monad [[state value] (phase archive value state)] - (in [state (partial_list [key value] output)])) + (in [state (list.partial [key value] output)])) _ (.undefined))) [state (list)] - (pairs (partial_list head_key head_value tail)))] + (pairs (list.partial head_key head_value tail)))] (in [state (js.object (list.reversed output))]))) (def: .public object diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index 1e6d515dc..07972b994 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -1594,7 +1594,7 @@ ((~! syntax) (~ setter_call) ((~' in) (.list (.` ((~! io.io) ((~ (code.text setter_command)) (~+ g!obj+) (~ setter_value))))))))))))) (in (list))))] - (in (partial_list getter_interop setter_interop))) + (in (list.partial getter_interop setter_interop))) ))) (def: (member_import$ type_params kind class [import_format member]) @@ -1637,7 +1637,7 @@ =members (|> members (list#each (|>> [import_format])) (monad.each ! (member_import$ (product.right class_decl) kind class_decl)))] - (in (partial_list (class_import$ class_decl) (list#conjoint =members)))))) + (in (list.partial (class_import$ class_decl) (list#conjoint =members)))))) (def: .public array (syntax (_ [type (..generic_type^ (list)) diff --git a/stdlib/source/library/lux/ffi.php.lux b/stdlib/source/library/lux/ffi.php.lux index 037f713c4..9dbe9e21a 100644 --- a/stdlib/source/library/lux/ffi.php.lux +++ b/stdlib/source/library/lux/ffi.php.lux @@ -251,7 +251,7 @@ code.local))) g!type (code.local (maybe.else class alias)) class_import (` ("php constant" (~ (code.text class))))] - (in (partial_list (` (type: (~ g!type) + (in (list.partial (` (type: (~ g!type) (..Object (Primitive (~ (code.text class)))))) (list#each (function (_ member) (case member diff --git a/stdlib/source/library/lux/macro.lux b/stdlib/source/library/lux/macro.lux index 1aeadcd0c..e7dda08c5 100644 --- a/stdlib/source/library/lux/macro.lux +++ b/stdlib/source/library/lux/macro.lux @@ -69,7 +69,7 @@ {.#None} (do //.monad - [parts' (monad.each //.monad full_expansion (partial_list (code.symbol name) args))] + [parts' (monad.each //.monad full_expansion (list.partial (code.symbol name) args))] (in (list (code.form (list#conjoint parts'))))))) [_ {.#Form {.#Item [harg targs]}}] @@ -182,7 +182,7 @@ (def: .public times (.macro (_ tokens) (case tokens - (pattern (partial_list [_ {.#Nat times}] terms)) + (pattern (list.partial [_ {.#Nat times}] terms)) (loop (again [times times before terms]) (case times diff --git a/stdlib/source/library/lux/macro/pattern.lux b/stdlib/source/library/lux/macro/pattern.lux index ecad74d18..7d40b8905 100644 --- a/stdlib/source/library/lux/macro/pattern.lux +++ b/stdlib/source/library/lux/macro/pattern.lux @@ -2,6 +2,9 @@ [library [lux (.except or let with_template |> `)]]) +(def: partial_list + (`` ("lux in-module" (~~ (static .prelude_module)) .partial_list))) + (def: locally (macro (_ tokens lux) (.let [[prelude _] (symbol ._)] diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux index e4ae7260f..8c1a54eba 100644 --- a/stdlib/source/library/lux/macro/syntax.lux +++ b/stdlib/source/library/lux/macro/syntax.lux @@ -40,7 +40,7 @@ (All (_ a) (-> (List [a a]) (List a))) (case pairs {.#End} {.#End} - {.#Item [[x y] pairs']} (partial_list x y (un_paired pairs')))) + {.#Item [[x y] pairs']} (list.partial x y (un_paired pairs')))) (def: syntaxP (Parser [[Text (Maybe Text) (List Code)] Code]) diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index 97a979ec0..10b3ab895 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -97,7 +97,7 @@ ... else (phase.except ..no_arithmetic_for [:it:]))) - (pattern (partial_list last prevs)) + (pattern (list.partial last prevs)) (`` (cond (check.subsumes? .I64 :it:) (phase.except ..no_arithmetic_for [:it:]) diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux index ee50aee0c..b7d110996 100644 --- a/stdlib/source/library/lux/target/common_lisp.lux +++ b/stdlib/source/library/lux/target/common_lisp.lux @@ -196,7 +196,7 @@ (def: .public (destructuring_bind [bindings expression] body) (-> [Var/* (Expression Any)] (List (Expression Any)) (Computation Any)) - (..form (partial_list (..var "destructuring-bind") + (..form (list.partial (..var "destructuring-bind") (transmutation bindings) expression body))) @@ -289,7 +289,7 @@ (def: .public (funcall/+ [func args]) (-> [(Expression Any) (List (Expression Any))] (Computation Any)) - (..call/* (..var "funcall") (partial_list func args))) + (..call/* (..var "funcall") (list.partial func args))) (def: .public (search/3 [reference space start]) (-> [(Expression Any) (Expression Any) (Expression Any)] (Computation Any)) @@ -347,7 +347,7 @@ (with_template [ ] [(def: .public ( bindings body) (-> (List [Var/1 (Expression Any)]) (List (Expression Any)) (Computation Any)) - (..form (partial_list (..var ) + (..form (list.partial (..var ) (|> bindings (list#each (function (_ [name value]) (..form (list name value)))) @@ -369,7 +369,7 @@ (with_template [ ] [(def: .public (-> (List (Expression Any)) (Computation Any)) - (|>> (partial_list (..var )) ..form))] + (|>> (list.partial (..var )) ..form))] [progn "progn"] [tagbody "tagbody"] @@ -392,7 +392,7 @@ (def: .public (handler_case handlers body) (-> (List Handler) (Expression Any) (Computation Any)) - (..form (partial_list (..var "handler-case") + (..form (list.partial (..var "handler-case") body (list#each (function (_ [type condition handler]) (..form (list type @@ -414,7 +414,7 @@ _ (abstraction (format (|> conditions (list#each ..symbol) - (partial_list (..symbol "or")) ..form + (list.partial (..symbol "or")) ..form representation) " " (representation expression)))))] @@ -427,7 +427,7 @@ (def: .public (block name body) (-> Label (List (Expression Any)) (Computation Any)) - (..form (partial_list (..var "block") (transmutation name) body))) + (..form (list.partial (..var "block") (transmutation name) body))) (def: .public (return_from target value) (-> Label (Expression Any) (Computation Any)) @@ -439,7 +439,7 @@ (def: .public (cond clauses else) (-> (List [(Expression Any) (Expression Any)]) (Expression Any) (Computation Any)) - (..form (partial_list (..var "cond") + (..form (list.partial (..var "cond") (list#composite (list#each (function (_ [test then]) (..form (list test then))) clauses) diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index e838ed77d..b9f2f4976 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -950,7 +950,7 @@ (try|in (let [@from (the #program_counter tracker)] [[pool environment' - (|> (list#mix (..acknowledge_label actual) tracker (partial_list default at_minimum afterwards)) + (|> (list#mix (..acknowledge_label actual) tracker (list.partial default at_minimum afterwards)) (has #program_counter program_counter'))] [(function (_ resolver) (let [get (is (-> Label (Maybe [Stack (Maybe Address)])) @@ -992,7 +992,7 @@ (try|in (let [@from (the #program_counter tracker)] [[pool environment' - (|> (list#mix (..acknowledge_label actual) tracker (partial_list default (list#each product.right cases))) + (|> (list#mix (..acknowledge_label actual) tracker (list.partial default (list#each product.right cases))) (has #program_counter program_counter'))] [(function (_ resolver) (let [get (is (-> Label (Maybe [Stack (Maybe Address)])) diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux index 57cc56e41..24598675f 100644 --- a/stdlib/source/library/lux/target/jvm/method.lux +++ b/stdlib/source/library/lux/target/jvm/method.lux @@ -11,7 +11,8 @@ ["[0]" format ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection - ["[0]" sequence (.only Sequence)]]]]] + ["[0]" sequence (.only Sequence)] + ["[0]" list]]]]] ["[0]" // ["[1][0]" modifier (.only Modifier modifiers:)] ["[1][0]" index (.only Index)] @@ -57,7 +58,7 @@ [@name (//pool.utf8 name) @descriptor (//pool.descriptor (//type.descriptor type)) attributes (|> (if with_signature? - (partial_list (//attribute.signature (//type.signature type)) attributes) + (list.partial (//attribute.signature (//type.signature type)) attributes) attributes) (monad.all !) (at ! each sequence.of_list)) diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux index dfc2d4fa4..cc545177b 100644 --- a/stdlib/source/library/lux/target/php.lux +++ b/stdlib/source/library/lux/target/php.lux @@ -198,7 +198,7 @@ ... TODO: Remove when no longer using JPHP. (def: .public (apply' args func) (-> (List Expression) Expression Computation) - (apply (partial_list func args) (..constant "call_user_func"))) + (apply (list.partial func args) (..constant "call_user_func"))) (def: parameters (-> (List Argument) Text) @@ -324,7 +324,7 @@ (def: .public (array_merge/+ required optionals) (-> Expression (List Expression) Computation) - (..apply (partial_list required optionals) (..constant "array_merge"))) + (..apply (list.partial required optionals) (..constant "array_merge"))) (def: .public (array/** kvs) (-> (List [Expression Expression]) Literal) diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux index e8f6e5259..50fcae9d0 100644 --- a/stdlib/source/library/lux/target/python.lux +++ b/stdlib/source/library/lux/target/python.lux @@ -430,7 +430,7 @@ {.#None} (.list))] (abstraction - (format "exec" (representation (..tuple (partial_list code extra))))))) + (format "exec" (representation (..tuple (list.partial code extra))))))) (def: .public (def name args body) (-> SVar (List (Ex (_ k) (Var k))) (Statement Any) (Statement Any)) diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux index ca4a7f13b..053945db5 100644 --- a/stdlib/source/library/lux/target/scheme.lux +++ b/stdlib/source/library/lux/target/scheme.lux @@ -304,7 +304,7 @@ (with_template [ ] [(def: .public (-> (List Expression) Computation) - (|>> (partial_list (..var )) ..form))] + (|>> (list.partial (..var )) ..form))] [or "or"] [and "and"] @@ -383,6 +383,6 @@ (list#composite (list#each (function (_ [when then]) (..form (list when then))) clauses)) - (partial_list variable))) + (list.partial variable))) body))) ) diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index c253743dd..74259135c 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -222,7 +222,7 @@ (def: (default_dependencies prelude input) (-> descriptor.Module ///.Input (List descriptor.Module)) - (partial_list descriptor.runtime + (list.partial descriptor.runtime (if (text#= prelude (the ///.#module input)) (list) (list prelude)))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux index f7d2734bf..eb147cd64 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -74,7 +74,7 @@ (-> Coverage (List Coverage)) (case coverage {#Alt left right} - (partial_list left (alternatives right)) + (list.partial left (alternatives right)) _ (list coverage))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux index fb8f92d44..10f11ef78 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux @@ -110,7 +110,7 @@ {.#UnivQ _} (do phase.monad [[@var :var:] (/type.check check.var)] - (general' (partial_list @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args)) + (general' (list.partial @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args)) {.#ExQ _} (do phase.monad @@ -138,7 +138,7 @@ argA (<| (/.with_exception ..cannot_infer_argument [inputT argC]) (/type.expecting inputT) (analyse archive argC))] - (in [just_before vars outputT' (partial_list argA args'A)])) + (in [just_before vars outputT' (list.partial argA args'A)])) {.#Var infer_id} (do phase.monad diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux index 0bb0f208d..c0771f82e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -113,7 +113,7 @@ (do check.monad [[@head :head:] check.var [tail :tuple:] (again envs (maybe.trusted (type.applied (list :head:) :it:)))] - (in [(partial_list @head tail) :tuple:])) + (in [(list.partial @head tail) :tuple:])) {.#Apply _} (do [! check.monad] @@ -196,7 +196,7 @@ [[memberP [memberP+ thenA]] ((as (All (_ a) (-> (Maybe Nat) Type Code (Operation a) (Operation [Pattern a]))) pattern_analysis) {.#None} memberT memberC then)] - (in [(partial_list memberP memberP+) thenA])))) + (in [(list.partial memberP memberP+) thenA])))) (do ! [nextA next] (in [(list) nextA])) @@ -283,7 +283,7 @@ {.#None} (..tuple_pattern_analysis pattern_analysis :input: sub_patterns next)))) - (pattern [location {.#Variant (partial_list [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}]) + (pattern [location {.#Variant (list.partial [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}]) (/.with_location location (do ///.monad [[@ex_var+ :input:'] (/type.check (..tuple :input:))] @@ -324,7 +324,7 @@ _ (/.except ..mismatch [:input:' pattern])))) - (pattern [location {.#Variant (partial_list [_ {.#Symbol tag}] values)}]) + (pattern [location {.#Variant (list.partial [_ {.#Symbol tag}] values)}]) (/.with_location location (do ///.monad [tag (///extension.lifted (meta.normal tag)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux index 0c16d0bc9..d83a3eec7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -296,14 +296,14 @@ output (is (List [Symbol Code]) {.#End})]) (case input - (pattern (partial_list [_ {.#Symbol ["" slotH]}] valueH tail)) + (pattern (list.partial [_ {.#Symbol ["" slotH]}] valueH tail)) (if pattern_matching? (///#in {.#None}) (do ///.monad [slotH (///extension.lifted (meta.normal ["" slotH]))] (again tail {.#Item [slotH valueH] output}))) - (pattern (partial_list [_ {.#Symbol slotH}] valueH tail)) + (pattern (list.partial [_ {.#Symbol slotH}] valueH tail)) (do ///.monad [slotH (///extension.lifted (meta.normal slotH))] (again tail {.#Item [slotH valueH] output})) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index c72e90e51..212a44ae5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -74,7 +74,7 @@ {try.#Failure error} {try.#Failure error}))))) -(with_expansions [ (these [|form_location| {.#Form (partial_list [|text_location| {.#Text "lux def module"}] annotations)}])] +(with_expansions [ (these [|form_location| {.#Form (list.partial [|text_location| {.#Text "lux def module"}] annotations)}])] (def: .public (phase wrapper expander) (-> //.Wrapper Expander Phase) (let [analysis (//analysis.phase expander)] @@ -90,10 +90,10 @@ extension_eval (as Eval (wrapper (as_expected compiler_eval)))] _ (//.with (has [//extension.#state /.#analysis /.#state //extension.#state .#eval] extension_eval state))] (case code - (pattern [_ {.#Form (partial_list [_ {.#Text name}] inputs)}]) + (pattern [_ {.#Form (list.partial [_ {.#Text name}] inputs)}]) (//extension.apply archive again [name inputs]) - (pattern [_ {.#Form (partial_list macro inputs)}]) + (pattern [_ {.#Form (list.partial macro inputs)}]) (do ! [expansion (/.lifted_analysis (do ! @@ -114,7 +114,7 @@ _ (//.except ..invalid_macro_call code))))] (case expansion - (pattern (partial_list referrals)) + (pattern (list.partial referrals)) (|> (again archive ) (at ! each (revised /.#referrals (list#composite referrals)))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux index 3a92fd7f7..d477f443e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux @@ -130,7 +130,7 @@ (phase archive constructorC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (partial_list constructorA inputsA)})))])) + (in {analysis.#Extension extension (list.partial constructorA inputsA)})))])) (def: object::get Handler @@ -154,7 +154,7 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text methodC) + (in {analysis.#Extension extension (list.partial (analysis.text methodC) objectA inputsA)})))])) @@ -190,7 +190,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: js::type_of Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index 7835a454b..f41b488d2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -947,7 +947,7 @@ (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)]))) (case (java/lang/Class::getGenericSuperclass source_class) {.#Some super} - (partial_list super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class))) + (list.partial super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class))) {.#None} (if (java/lang/reflect/Modifier::isInterface (java/lang/Class::getModifiers source_class)) @@ -958,7 +958,7 @@ (def: (inheritance_candidate_parents class_loader fromT target_class toT fromC) (-> java/lang/ClassLoader .Type (java/lang/Class java/lang/Object) .Type Code (Operation (List [[Text .Type] Bit]))) (case fromT - (pattern {.#Primitive _ (partial_list self_classT super_classT super_interfacesT+)}) + (pattern {.#Primitive _ (list.partial self_classT super_classT super_interfacesT+)}) (monad.each phase.monad (function (_ superT) (do [! phase.monad] @@ -966,7 +966,7 @@ super_class (phase.lifted (reflection!.load class_loader super_name))] (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)]))) - (partial_list super_classT super_interfacesT+)) + (list.partial super_classT super_interfacesT+)) _ (/////analysis.except ..cannot_cast [fromT toT fromC]))) @@ -1313,7 +1313,7 @@ inputsT _ - (partial_list {.#Primitive (java/lang/Class::getName owner) owner_tvarsT} + (list.partial {.#Primitive (java/lang/Class::getName owner) owner_tvarsT} inputsT))) outputT)]] (in [methodT @@ -1398,14 +1398,14 @@ (let [interfaces (array.list {.#None} (java/lang/Class::getInterfaces it)) supers (case (java/lang/Class::getSuperclass it) {.#Some class} - (partial_list class interfaces) + (list.partial class interfaces) {.#None} interfaces)] (|> supers (list#each family_tree') list#conjoint - (partial_list it)))) + (list.partial it)))) (def: family_tree (-> (java/lang/Class java/lang/Object) @@ -1455,7 +1455,7 @@ {.#Item method alternatives} (if allow_inheritance? (in method) - (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (partial_list method alternatives)]))))) + (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (list.partial method alternatives)]))))) (def: constructor_method "") @@ -1527,7 +1527,7 @@ (not deprecated?)) [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC)) outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) (/////analysis.text (..signature outputJT)) (decorate_inputs argsT argsA))})))])) @@ -1543,7 +1543,7 @@ [methodT deprecated? exceptionsT] (..method_candidate true class_loader class_tvars class method_tvars method {#Virtual} argsT) _ (phase.assertion ..deprecated_method [class method methodT] (not deprecated?)) - [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1551,7 +1551,7 @@ _ (undefined))] outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) (/////analysis.text (..signature outputJT)) objectA @@ -1568,7 +1568,7 @@ [methodT deprecated? exceptionsT] (..method_candidate false class_loader class_tvars class method_tvars method {#Special} argsT) _ (phase.assertion ..deprecated_method [class method methodT] (not deprecated?)) - [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1576,7 +1576,7 @@ _ (undefined))] outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) (/////analysis.text (..signature outputJT)) objectA @@ -1596,7 +1596,7 @@ [methodT deprecated? exceptionsT] (..method_candidate true class_loader class_tvars class_name method_tvars method {#Interface} argsT) _ (phase.assertion ..deprecated_method [class_name method methodT] (not deprecated?)) - [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1605,7 +1605,7 @@ (undefined))] outputJT (check_return outputT)] (in {/////analysis.#Extension extension_name - (partial_list (/////analysis.text (..signature (jvm.class class_name (list)))) + (list.partial (/////analysis.text (..signature (jvm.class class_name (list)))) (/////analysis.text method) (/////analysis.text (..signature outputJT)) objectA @@ -1623,7 +1623,7 @@ _ (phase.assertion ..deprecated_method [class ..constructor_method methodT] (not deprecated?)) [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC))] - (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list)))) (decorate_inputs argsT argsA))})))])) (def: (bundle::member class_loader) @@ -1672,7 +1672,7 @@ (def: (annotation_analysis [name parameters]) (-> (Annotation Analysis) Analysis) - (/////analysis.tuple (partial_list (/////analysis.text name) + (/////analysis.tuple (list.partial (/////analysis.text name) (list#each annotation_parameter_analysis parameters)))) (with_template [ ] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux index 39606222f..428ea1068 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux @@ -154,7 +154,7 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text methodC) + (in {analysis.#Extension extension (list.partial (analysis.text methodC) objectA inputsA)})))])) @@ -211,7 +211,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: lua::power Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 2a5ad85ad..5e402298a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -119,7 +119,7 @@ (////analysis.tuple (list (////analysis.tuple (list#each (|>> ////analysis.nat) cases)) branch)))) - (partial_list input else) + (list.partial input else) {////analysis.#Extension extension_name}))))]))) ... "lux is" represents reference/pointer equality. diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux index 370fd5e18..5512587e7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux @@ -132,7 +132,7 @@ (do [! phase.monad] [inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC) _ (analysis/type.infer .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text constructor) inputsA)})))])) + (in {analysis.#Extension extension (list.partial (analysis.text constructor) inputsA)})))])) (def: object::get Handler @@ -156,7 +156,7 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC) _ (analysis/type.infer .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text methodC) + (in {analysis.#Extension extension (list.partial (analysis.text methodC) objectA inputsA)})))])) @@ -190,7 +190,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC) _ (analysis/type.infer Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: php::pack Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux index ad7212e3c..3defef9c9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux @@ -158,7 +158,7 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text methodC) + (in {analysis.#Extension extension (list.partial (analysis.text methodC) objectA inputsA)})))])) @@ -200,7 +200,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: python::function Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux index 75fbf2cae..4678fe9e1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux @@ -154,7 +154,7 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (partial_list (analysis.text methodC) + (in {analysis.#Extension extension (list.partial (analysis.text methodC) objectA inputsA)})))])) @@ -187,7 +187,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: ruby::import Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux index 21268d749..e0ba7f433 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux @@ -147,7 +147,7 @@ (phase archive abstractionC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC) _ (analysis/type.infer Any)] - (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))])) + (in {analysis.#Extension extension (list.partial abstractionA inputsA)})))])) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index ff87daec1..43b1f0dbe 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux @@ -658,7 +658,7 @@ (jvm.analyse_static_method analyse archive mapping method) {#Overriden_Method method} - (jvm.analyse_overriden_method analyse archive selfT mapping (partial_list super interfaces) method) + (jvm.analyse_overriden_method analyse archive selfT mapping (list.partial super interfaces) method) {#Abstract_Method method} (jvm.analyse_abstract_method analyse archive method)))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index 3bb78789c..2c640c1ed 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -1230,7 +1230,7 @@ (name.internal (..reflection super_class)) (list#each (|>> ..reflection name.internal) super_interfaces) (foreign.variables total_environment) - (partial_list (..with_anonymous_init class total_environment super_class inputsTI) + (list.partial (..with_anonymous_init class total_environment super_class inputsTI) methods!) (sequence.sequence))) .let [artifact [anonymous_class_name bytecode]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux index 422f9cd4d..449c84171 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux @@ -84,19 +84,19 @@ conditionals)) .let [foreigns (|> conditionals (list#each (|>> product.right synthesis.path/then //case.dependencies)) - (partial_list (//case.dependencies (synthesis.path/then else))) + (list.partial (//case.dependencies (synthesis.path/then else))) list.together (set.of_list _.hash) set.list) @expression (_.constant (reference.artifact [context_module context_artifact])) - directive (_.define_function @expression (partial_list (_.parameter @input) (list#each _.reference foreigns)) + directive (_.define_function @expression (list.partial (_.parameter @input) (list#each _.reference foreigns)) (list#mix (function (_ [test then] else) (_.if test (_.return then) else)) (_.return elseG) conditionalsG))] _ (generation.execute! directive) _ (generation.save! context_artifact directive)] - (in (_.apply (partial_list inputG foreigns) @expression))))])) + (in (_.apply (list.partial inputG foreigns) @expression))))])) (def: lux_procs Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux index 3e0aabf99..544430b22 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux @@ -111,7 +111,7 @@ (-> _.Tag Bit Nat (Maybe (Expression Any)) (Expression Any)) (.let [ (_.eq/2 [@variant @temp])] (_.let (list [@variant ..peek]) - (partial_list (_.setq @temp (|> idx .int _.int (//runtime.sum//get @variant ))) + (list.partial (_.setq @temp (|> idx .int _.int (//runtime.sum//get @variant ))) (.if simple? (_.when (_.go @fail)) @@ -255,7 +255,7 @@ (list#each (function (_ register) [(..register register) _.nil])))]] - (in (_.let (partial_list [@cursor (_.list/* (list initG))] + (in (_.let (list.partial [@cursor (_.list/* (list initG))] [@savepoint (_.list/* (list))] [@temp _.nil] [$output _.nil] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux index 619496a21..ca449f06b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux @@ -53,7 +53,7 @@ (list#each (function (_ [idx init]) [(|> idx (n.+ start) //case.register) init])) - (partial_list [@output _.nil])) + (list.partial [@output _.nil])) (list (_.tagbody (list @scope (_.setq @output bodyG))) @output)))))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux index 28e90a032..e9f9b5800 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux @@ -77,13 +77,13 @@ (list#composite (/foreign.variables environment) (/partial.variables arity))) methods (is (List (Resource Method)) - (partial_list (/init.method classT environment arity) + (list.partial (/init.method classT environment arity) (/reset.method classT environment arity) (if (arity.multiary? arity) (|> (n.min arity /arity.maximum) list.indices (list#each (|>> ++ (/apply.method classT environment arity @begin body))) - (partial_list (/implementation.method classT arity @begin body))) + (list.partial (/implementation.method classT arity @begin body))) (list (/implementation.method classT arity @begin body) (/apply.method classT environment arity @begin body 1)))))] (do phase.monad diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux index e7e970d87..5554117e6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux @@ -31,7 +31,7 @@ (def: .public (type :it: arity) (-> (Type Class) Arity (Type category.Method)) (type.method [(list) - (partial_list :it: (list.repeated arity ////type.value)) + (list.partial :it: (list.repeated arity ////type.value)) ////type.value (list)])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux index 32a1e4de8..c3cea9bf2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux @@ -53,7 +53,7 @@ (type.method [(list) (list#composite (///foreign.closure environment) (if (arity.multiary? arity) - (partial_list ///arity.type (..partials arity)) + (list.partial ///arity.type (..partials arity)) (list))) type.void (list)])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux index 13f09e66e..2bd75098b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux @@ -592,7 +592,7 @@ (_.aload arity) (_.invokevirtual //function.class ..apply::name (..apply::type //function/arity.minimum)) _.areturn))}))) - (partial_list (method.method (modifier#composite method.public method.abstract) + (list.partial (method.method (modifier#composite method.public method.abstract) ..apply::name #0 (..apply::type //function/arity.minimum) (list) @@ -627,7 +627,7 @@ {.#None} (name.internal (..reflection ^Object)) (list) (list partial_count) - (partial_list ::method apply::method+) + (list.partial ::method apply::method+) sequence.empty))] (do ////.monad [_ (generation.execute! [class bytecode]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux index ff3335b50..f765d593e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux @@ -61,7 +61,7 @@ (list#each (|>> product.left ..capture)))] [(_.set! @selfG (_.closure (list) (list#each _.parameter @inits) (all _.then - (_.set! @selfL (_.closure (partial_list (_.reference @selfL) (list#each _.reference @inits)) + (_.set! @selfL (_.closure (list.partial (_.reference @selfL) (list#each _.reference @inits)) (list) body!)) (_.return @selfL)))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux index 1f79ef1d6..d8f9eae7c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux @@ -36,7 +36,7 @@ ... (def: (lua//call proc translate inputs) ... (-> Text @.Proc) ... (case inputs -... (pattern (partial_list functionS argsS+)) +... (pattern (list.partial functionS argsS+)) ... (do [@ macro.Monad] ... [functionO (translate functionS) ... argsO+ (monad.each @ translate argsS+)] @@ -56,7 +56,7 @@ ... (def: (table//call proc translate inputs) ... (-> Text @.Proc) ... (case inputs -... (pattern (partial_list tableS [_ {.#Text field}] argsS+)) +... (pattern (list.partial tableS [_ {.#Text field}] argsS+)) ... (do [@ macro.Monad] ... [tableO (translate tableS) ... argsO+ (monad.each @ translate argsS+)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux index fcd14c576..218ece022 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -231,7 +231,7 @@ sub_members - (partial_list sub_members)) + (list.partial sub_members)) _ ))))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index eeb412da4..778ba2900 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -186,7 +186,7 @@ ))) ... TODO: Stop relying on this custom code. - (pattern {/.#Extension ["lux syntax char case!" (partial_list input else matches)]}) + (pattern {/.#Extension ["lux syntax char case!" (list.partial input else matches)]}) (if return? (do [! maybe.monad] [input (again false input) @@ -203,7 +203,7 @@ (again false match))) matches) else (again return? else)] - (in {/.#Extension ["lux syntax char case!" (partial_list input else matches)]})) + (in {/.#Extension ["lux syntax char case!" (list.partial input else matches)]})) {.#None}) {/.#Extension [name args]} diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux index 160c23890..373696de2 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux @@ -138,7 +138,7 @@ of_iteration (|> value (the synthesis.#iteration) references)] - (list#conjoint (partial_list of_iteration of_inits))) + (list#conjoint (list.partial of_iteration of_inits))) {synthesis.#Again value} (|> value @@ -153,7 +153,7 @@ references) {synthesis.#Apply function arguments} - (|> (partial_list function arguments) + (|> (list.partial function arguments) (list#each references) list#conjoint))) @@ -207,7 +207,7 @@ [mandatory_dependencies all_dependencies]) [(if mandatory? - (partial_list artifact_id mandatory_dependencies) + (list.partial artifact_id mandatory_dependencies) mandatory_dependencies) (dictionary.has artifact_id dependencies all_dependencies)]) [(list) diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux index 3c4b1abbb..3b0791c9d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux @@ -96,7 +96,7 @@ (is _.Statement) _.code (at utf8.codec encoded))] - (in (partial_list [module_id [(..module_file module_id) entry_content]] + (in (list.partial [module_id [(..module_file module_id) entry_content]] sink)))))) (def: .public main_file diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux index 5a8d85829..e6a7504e9 100644 --- a/stdlib/source/library/lux/type.lux +++ b/stdlib/source/library/lux/type.lux @@ -49,7 +49,7 @@ (case type {.#Function in out'} (.let [[ins out] (flat_function out')] - [(partial_list in ins) out]) + [(list.partial in ins) out]) _ [(list) type])) @@ -69,7 +69,7 @@ (-> Type (List Type)) (case type { left right} - (partial_list left ( right)) + (list.partial left ( right)) _ (list type)))] @@ -234,12 +234,12 @@ (^.with_template [] [{ env body} (|> body - (reduced (partial_list func param env)) + (reduced (list.partial func param env)) (applied params'))]) ([.#UnivQ] [.#ExQ]) {.#Apply A F} - (applied (partial_list A params) F) + (applied (list.partial A params) F) {.#Named name unnamed} (applied params unnamed) diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index d96c460b1..6b42b2d03 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -314,7 +314,7 @@ {.#Var next} (if (!n#= start next) {try.#Success [context output]} - (again next (partial_list next output))) + (again next (list.partial next output))) _ {try.#Success [context (list)]}) @@ -355,7 +355,7 @@ (if (n.< 2 (set.size existing_aliases)) (..except ..cannot_identify [@]) (do ! - [.let [forbidden_aliases (set.of_list n.hash (partial_list @ aliases)) + [.let [forbidden_aliases (set.of_list n.hash (list.partial @ aliases)) allowed_aliases (set.difference forbidden_aliases existing_aliases)]] (case (set.list allowed_aliases) {.#Item identity _} @@ -376,7 +376,7 @@ (let [[@var :var:] in] (if (n.= @ @var) out - (partial_list in out))))) + (list.partial in out))))) (is (List [Nat (Maybe Type)]) (list))) context) @@ -398,9 +398,9 @@ [_ (re_bind' {.#None} @other)] (erase! @me)) - (pattern (partial_list @prev _)) + (pattern (list.partial @prev _)) (case (list.reversed ring) - (pattern (partial_list @me @next _)) + (pattern (list.partial @me @next _)) (do ! [_ (re_bind {.#Var @next} @prev) _ (re_bind {.#Var @prev} @next)] diff --git a/stdlib/source/library/lux/type/primitive.lux b/stdlib/source/library/lux/type/primitive.lux index 5825cdf92..b6dd7ff81 100644 --- a/stdlib/source/library/lux/type/primitive.lux +++ b/stdlib/source/library/lux/type/primitive.lux @@ -238,7 +238,7 @@ type_varsC abstraction_declaration representation_declaration])] - (in (partial_list (` (type: (~ export_policy) (~ abstraction_declaration) + (in (list.partial (` (type: (~ export_policy) (~ abstraction_declaration) (Primitive (~ (code.text (abstraction_type_name [current_module name]))) [(~+ type_varsC)]))) (` (type: (~ representation_declaration) diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index 63c450792..9cb69fbbe 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -119,7 +119,7 @@ _ (<>.assertion (exception.error ..index_cannot_be_repeated head) (not (set.member? seen head))) tail (again (set.has head seen))] - (in (partial_list head tail)))))))) + (in (list.partial head tail)))))))) (def: (no_op monad) (All (_ m) (-> (Monad m) (Linear m Any))) diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index b4c466c77..cf376ebb5 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -296,7 +296,7 @@ (implementation (def: (execute [environment working_directory the_command arguments]) (do [! (try.with io.monad)] - [.let [builder (|> (partial_list the_command arguments) + [.let [builder (|> (list.partial the_command arguments) ..jvm::arguments_array java/lang/ProcessBuilder::new (java/lang/ProcessBuilder::directory (java/io/File::new (ffi.as_string working_directory))))] diff --git a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux index 159c1c62e..0eca3ae24 100644 --- a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux @@ -91,7 +91,7 @@ (Parser ) (function (_ input) (case input - (pattern (partial_list ( x) input')) + (pattern (list.partial ( x) input')) {try.#Success [input' x]} _ @@ -101,7 +101,7 @@ (-> (Parser Any)) (function (_ input) (case input - (pattern (partial_list ( actual) input')) + (pattern (list.partial ( actual) input')) (if (at = expected actual) {try.#Success [input' []]} (exception.except ..cannot_parse input)) @@ -124,7 +124,7 @@ (All (_ a) (-> (Parser a) (Parser a))) (function (_ input) (case input - (pattern (partial_list (/.tuple head) tail)) + (pattern (list.partial (/.tuple head) tail)) (do try.monad [output (..result parser head)] {try.#Success [tail output]}) diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 07842d32e..2e07625cb 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -33,7 +33,7 @@ (at ! each (|>> (try.else (list)) (monad.each ! (targets fs)))) (at ! conjoint) - (at ! each (|>> list.together (partial_list path)))))) + (at ! each (|>> list.together (list.partial path)))))) (def: .public delay Nat diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index dfb566c11..b00f60968 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -271,7 +271,7 @@ _ (revised ///runtime.#parameters - (|>> (partial_list "-cp" (..jvm_class_path host_dependencies) + (|>> (list.partial "-cp" (..jvm_class_path host_dependencies) "-Xss16m" "--add-opens" "java.base/java.lang=ALL-UNNAMED")) runtime))) diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux index 49688ae20..5b9a8b783 100644 --- a/stdlib/source/program/aedifex/dependency/deployment.lux +++ b/stdlib/source/program/aedifex/dependency/deployment.lux @@ -73,7 +73,7 @@ (-> ///artifact/type.Type Status (List ///artifact/type.Type)) (with_expansions [ (format type ///artifact/extension.sha-1) (format type ///artifact/extension.md5)] - (partial_list type + (list.partial type (case status {///dependency/status.#Unverified} (list) diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index c85970a5b..13d7159ba 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -58,5 +58,5 @@ (do [! try.monad] [it it it (..project_parser it) - it (monad.each ! (//project.profile it) (partial_list //profile.default profiles))] + it (monad.each ! (//project.profile it) (list.partial //profile.default profiles))] (in (mix.with_monoid //profile.monoid list.mix it))))))) diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index f22f80763..3c966930a 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -113,7 +113,7 @@ (def: (developer' [name email organization]) (-> /.Developer (List XML)) - (partial_list (..property "name" name) + (list.partial (..property "name" name) (..property "email" email) (|> organization (maybe#each ..developer_organization) (maybe.else (list))))) diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index b5fbc6b13..49204fbae 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -10,7 +10,9 @@ [data ["[0]" product] [text - ["%" format (.only format)]]] + ["%" format (.only format)]] + [collection + ["[0]" list]]] ["[0]" meta ["[1]/[0]" version]] [tool @@ -84,7 +86,7 @@ ..base_headers {.#Some [user password]} - (partial_list ["Authorization" (//identity.basic_auth user password)] + (list.partial ["Authorization" (//identity.basic_auth user password)] ..base_headers))) {.#Some content} http)) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index b9762e9ee..34173ce62 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -17,7 +17,8 @@ [xml (.only XML)]] [collection ["[0]" set] - ["[0]" dictionary]]] + ["[0]" dictionary] + ["[0]" list]]] [math ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number @@ -96,7 +97,7 @@ content ..content] (in [dependency (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))] - (in (dictionary.of_list //dependency.hash (partial_list [main_dependency main_package] dependencies))))) + (in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies))))) (def: singular Test diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index fe15d204e..f0b011180 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -66,7 +66,7 @@ {/.#Install} (list "install") {/.#Deploy repository [user password]} (list "deploy" repository user password) {/.#Compilation compilation} (..compilation_format compilation) - {/.#Auto compilation} (partial_list "auto" (..compilation_format compilation)))) + {/.#Auto compilation} (list.partial "auto" (..compilation_format compilation)))) (def: without_profile Test @@ -92,7 +92,7 @@ (_.property "With profile." (|> expected_command ..format - (partial_list "with" expected_profile) + (list.partial "with" expected_profile) (cli.result /.command) (pipe.case {try.#Success [actual_profile actual_command]} diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0d282e16f..68235d16c 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -176,16 +176,6 @@ (and (n.= e/0 a/0) (n.= e/1 a/1)) - _ - false)) - (_.coverage [/.partial_list] - (case (/.partial_list e/0 e/1 (/.list e/2 e/3)) - (pattern (/.partial_list a/0 a/1 (/.list a/2 a/3))) - (and (n.= e/0 a/0) - (n.= e/1 a/1) - (n.= e/2 a/2) - (n.= e/3 a/3)) - _ false)) ))) @@ -1114,7 +1104,7 @@ let/3 .local]) (in (list (code.bit (case (the .#scopes lux_state) - (pattern (partial_list scope/2 _)) + (pattern (list.partial scope/2 _)) (let [locals/2 (the .#locals scope/2) expected_locals/2 (set.of_list text.hash (list fn/2 var/2 let/2 let/3)) diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index 661807915..22d572198 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -111,7 +111,7 @@ (/.iterations (function (_ n) [(++ n) (%.nat n)]) offset))))) (_.coverage [/.cycle] - (let [cycle (partial_list cycle_start cycle_next)] + (let [cycle (list.partial cycle_start cycle_next)] (list#= (list.together (list.repeated size cycle)) (/.first (n.* size (list.size cycle)) (/.cycle [cycle_start cycle_next]))))) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 7898b3035..f1d964e2e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -62,7 +62,7 @@ children (random.list num_children random.nat)] (_.coverage [/.branch] (at (list.equivalence n.equivalence) = - (partial_list value children) + (list.partial value children) (/.flat (/.branch value (list#each /.leaf children)))))) (do random.monad [expected/0 random.nat diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index a2a57629a..65bf9e589 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -90,8 +90,8 @@ (at builder branch tree (at builder leaf tag value))) (at builder leaf tags/H values/H) (list.zipped_2 tags/T values/T))] - (and (at tags_equivalence = (partial_list tags/H tags/T) (/.tags tree)) - (at values_equivalence = (partial_list values/H values/T) (/.values tree)))))) + (and (at tags_equivalence = (list.partial tags/H tags/T) (/.tags tree)) + (at values_equivalence = (list.partial values/H values/T) (/.values tree)))))) (_.coverage [/.one] (let [can_find_correct_one! (|> (at ..builder leaf tag_left expected_left) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 807e0b3e0..59376f8bf 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -710,7 +710,7 @@ [label_module [.#module_hash 0 .#module_aliases (list) - .#definitions (partial_list [name_0 {.#Type [true type_0 {.#Left tags_0}]}] + .#definitions (list.partial [name_0 {.#Type [true type_0 {.#Left tags_0}]}] [name_1 {.#Type [true type_1 {.#Right tags_1}]}] (all list#composite (|> {.#Item tags_0} diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index f456630a0..ce22166b8 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -33,7 +33,7 @@ _ (do [! random.monad] [feature (random.upper_case amount) value (random.lower_case amount)] - (at ! each (|>> (partial_list [feature value])) + (at ! each (|>> (list.partial [feature value])) (random (-- amount)))))) (def: failure diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index d81170a17..0c0831530 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -231,8 +231,8 @@ [definition] [{.#Type [public? def_type {.#Left [labels|head labels|tail]}]}] [{.#Type [public? def_type {.#Right [labels|head labels|tail]}]}] - [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}] - [{.#Slot [public? def_type (partial_list labels|head labels|tail) index]}])) + [{.#Tag [public? def_type (list.partial labels|head labels|tail) index]}] + [{.#Slot [public? def_type (list.partial labels|head labels|tail) index]}])) (|> (/.with hash module_name (do /phase.monad [_ (/.define def_name definition)] @@ -255,8 +255,8 @@ [{.#Definition [public? def_type []]}] [{.#Type [public? def_type {.#Left [labels|head labels|tail]}]}] [{.#Type [public? def_type {.#Right [labels|head labels|tail]}]}] - [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}] - [{.#Slot [public? def_type (partial_list labels|head labels|tail) index]}])) + [{.#Tag [public? def_type (list.partial labels|head labels|tail) index]}] + [{.#Slot [public? def_type (list.partial labels|head labels|tail) index]}])) (|> (/.with hash module_name (do /phase.monad [_ (/.define def_name definition) @@ -294,9 +294,9 @@ (do [! /phase.monad] [.let [it {.#Named [module_name def_name] def_type}] _ (/.define def_name {.#Type [public? it { [labels|head labels|tail]}]}) - _ (/.declare_labels (partial_list labels|head labels|tail) public? it)] + _ (/.declare_labels (list.partial labels|head labels|tail) public? it)] (monad.each ! (|>> [module_name] /extension.lifted) - (partial_list labels|head labels|tail)))) + (list.partial labels|head labels|tail)))) (/phase.result state) (pipe.case {try.#Success _} @@ -312,7 +312,7 @@ (do [! /phase.monad] [.let [it def_type] _ (/.define def_name {.#Type [public? it { [labels|head labels|tail]}]})] - (/.declare_labels (partial_list labels|head labels|tail) public? it))) + (/.declare_labels (list.partial labels|head labels|tail) public? it))) (/phase.result state) (pipe.case {try.#Success _} @@ -329,7 +329,7 @@ (do [! /phase.monad] [.let [it {.#Named [foreign_module def_name] def_type}] _ (/.define def_name {.#Type [public? it { [labels|head labels|tail]}]})] - (/.declare_labels (partial_list labels|head labels|tail) public? it))) + (/.declare_labels (list.partial labels|head labels|tail) public? it))) (/phase.result state) (pipe.case {try.#Success _} diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 9617831ab..d93193c54 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -57,7 +57,7 @@ (`` (all _.and (~~ (with_template [ ] [(_.coverage [] - (|> (partial_list "build" compilation') + (|> (list.partial "build" compilation') (.result /.service) (try#each (|>> (pipe.case {/.#Compilation it} @@ -80,7 +80,7 @@ ))) (_.coverage [/.Interpretation] (`` (and (~~ (with_template [ ] - [(|> (partial_list "repl" compilation') + [(|> (list.partial "repl" compilation') (.result /.service) (try#each (|>> (pipe.case {/.#Interpretation it} @@ -102,7 +102,7 @@ ))))) (_.coverage [/.Export] (`` (and (~~ (with_template [ ] - [(|> (partial_list "export" export) + [(|> (list.partial "export" export) (.result /.service) (try#each (|>> (pipe.case {/.#Export it} diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 31c2efd14..fcabf6d74 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -489,8 +489,8 @@ (succeeds? (do [! /.monad] [[var/head var/tail+ var/last] (..build_ring tail_size) _ (/.check var/head nominal/0) - failures (monad.each ! (|>> (/.check nominal/1) ..verdict) (partial_list var/head var/tail+)) - successes (monad.each ! (|>> (/.check nominal/0) ..verdict) (partial_list var/head var/tail+))] + failures (monad.each ! (|>> (/.check nominal/1) ..verdict) (list.partial var/head var/tail+)) + successes (monad.each ! (|>> (/.check nominal/0) ..verdict) (list.partial var/head var/tail+))] (/.assertion "" (and (list.every? (bit#= false) failures) (list.every? (bit#= true) successes))))) @@ -500,8 +500,8 @@ [var/head/1 var/tail+/1 var/last/1] (..build_ring tail_size) _ (/.check var/head/0 var/head/1) _ (/.check var/head/0 nominal/0) - .let [all_variables (list#composite (partial_list var/head/0 var/tail+/0) - (partial_list var/head/1 var/tail+/1))] + .let [all_variables (list#composite (list.partial var/head/0 var/tail+/0) + (list.partial var/head/1 var/tail+/1))] failures (monad.each ! (|>> (/.check nominal/1) ..verdict) all_variables) successes (monad.each ! (|>> (/.check nominal/0) ..verdict) all_variables)] (/.assertion "" (and (list.every? (bit#= false) failures) diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 5617489b9..872436a4f 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -78,7 +78,7 @@ [_ (atom.compare_and_swap! disk' (dictionary.has @ {.#Left [now it]} disk') disk)] (case (/.parent fs @) {.#Some parent} - (alert_parent! disk (|>> (partial_list @)) parent) + (alert_parent! disk (|>> (list.partial @)) parent) {.#None} (in {try.#Success []}))) @@ -174,7 +174,7 @@ [_ (atom.compare_and_swap! disk' (dictionary.has @ {.#Right (list)} disk') disk)] (case (/.parent mock @) {.#Some parent} - (alert_parent! disk (|>> (partial_list @)) parent) + (alert_parent! disk (|>> (list.partial @)) parent) {.#None} (in {try.#Success []}))) -- cgit v1.2.3