aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--licentia/source/program/licentia/license/grant.lux6
-rw-r--r--lux-lua/source/program.lux2
-rw-r--r--lux-mode/lux-mode.el2
-rw-r--r--lux-python/source/program.lux2
-rw-r--r--stdlib/source/documentation/lux.lux8
-rw-r--r--stdlib/source/library/lux.lux2
-rw-r--r--stdlib/source/library/lux/control/function/mutual.lux2
-rw-r--r--stdlib/source/library/lux/control/parser.lux2
-rw-r--r--stdlib/source/library/lux/control/parser/code.lux7
-rw-r--r--stdlib/source/library/lux/control/parser/json.lux4
-rw-r--r--stdlib/source/library/lux/control/parser/synthesis.lux14
-rw-r--r--stdlib/source/library/lux/control/parser/type.lux2
-rw-r--r--stdlib/source/library/lux/control/pipe.lux2
-rw-r--r--stdlib/source/library/lux/data/collection/list.lux29
-rw-r--r--stdlib/source/library/lux/data/collection/queue.lux2
-rw-r--r--stdlib/source/library/lux/data/collection/stream.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css.lux2
-rw-r--r--stdlib/source/library/lux/data/format/css/value.lux6
-rw-r--r--stdlib/source/library/lux/data/format/html.lux8
-rw-r--r--stdlib/source/library/lux/data/text/regex.lux8
-rw-r--r--stdlib/source/library/lux/documentation.lux22
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux4
-rw-r--r--stdlib/source/library/lux/ffi.lux14
-rw-r--r--stdlib/source/library/lux/ffi.old.lux4
-rw-r--r--stdlib/source/library/lux/ffi.php.lux2
-rw-r--r--stdlib/source/library/lux/macro.lux4
-rw-r--r--stdlib/source/library/lux/macro/pattern.lux3
-rw-r--r--stdlib/source/library/lux/macro/syntax.lux2
-rw-r--r--stdlib/source/library/lux/math.lux2
-rw-r--r--stdlib/source/library/lux/target/common_lisp.lux16
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/method.lux5
-rw-r--r--stdlib/source/library/lux/target/php.lux4
-rw-r--r--stdlib/source/library/lux/target/python.lux2
-rw-r--r--stdlib/source/library/lux/target/scheme.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/init.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux32
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux2
-rw-r--r--stdlib/source/library/lux/type.lux8
-rw-r--r--stdlib/source/library/lux/type/check.lux10
-rw-r--r--stdlib/source/library/lux/type/primitive.lux2
-rw-r--r--stdlib/source/library/lux/type/resource.lux2
-rw-r--r--stdlib/source/library/lux/world/shell.lux2
-rw-r--r--stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux6
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux2
-rw-r--r--stdlib/source/program/aedifex/command/build.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/program/aedifex/input.lux2
-rw-r--r--stdlib/source/program/aedifex/pom.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux6
-rw-r--r--stdlib/source/test/aedifex/cache.lux5
-rw-r--r--stdlib/source/test/aedifex/cli.lux4
-rw-r--r--stdlib/source/test/lux.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux4
-rw-r--r--stdlib/source/test/lux/meta.lux2
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux6
-rw-r--r--stdlib/source/test/lux/type/check.lux8
-rw-r--r--stdlib/source/test/lux/world/file.lux4
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 <type>)
(.function (_ input)
(case input
- (pattern (partial_list (<tag> x) input'))
+ (pattern (list.partial (<tag> x) input'))
{try.#Success [input' x]}
_
@@ -102,7 +104,7 @@
(-> <type> (Parser Any))
(.function (_ input)
(case input
- (pattern (partial_list (<tag> actual) input'))
+ (pattern (list.partial (<tag> actual) input'))
(if (at <eq> = 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 <code>.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 (_ <it>)
+ [((`` ("lux in-module" (~~ (static .prelude_module)) .wrong_syntax_error))
+ (symbol <it>))]))
+
+(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 @@
(-> <pred_type> (Stream a) (List a)))
(let [[x xs'] (//.result xs)]
(if (<post_test> <pred_test>)
- (partial_list x (<taker> <pred_step> xs'))
+ (list.partial x (<taker> <pred_step> xs'))
(list))))
(def: .public (<dropper> 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 (<name> angle start next)
(-> Angle Stop (List/1 [(Maybe Hint) Stop]) (Value Image))
(let [[now after] next]
- (..apply <function> (partial_list (representation Angle angle)
+ (..apply <function> (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 <function> (partial_list (..shape shape)
+ (..apply <function> (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 [<name> <shape> <type> <format>]
[(def: (<name> attributes shape)
(-> Attributes <type> (HTML Any))
- (..simple "area" (partial_list ["shape" <shape>]
+ (..simple "area" (list.partial ["shape" <shape>]
["coords" (<format> 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 <code>.any
branches (<>.many <code>.any)])
(with_symbols [g!temp]
- (in (partial_list (` (^.multi (~ g!temp)
+ (in (list.partial (` (^.multi (~ g!temp)
[((~! <text>.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 <object>
[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 [<lux_name> <host_name>]
[(def: .public (<lux_name> bindings body)
(-> (List [Var/1 (Expression Any)]) (List (Expression Any)) (Computation Any))
- (..form (partial_list (..var <host_name>)
+ (..form (list.partial (..var <host_name>)
(|> bindings
(list#each (function (_ [name value])
(..form (list name value))))
@@ -369,7 +369,7 @@
(with_template [<name> <symbol>]
[(def: .public <name>
(-> (List (Expression Any)) (Computation Any))
- (|>> (partial_list (..var <symbol>)) ..form))]
+ (|>> (list.partial (..var <symbol>)) ..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 <prefix> (|> 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 [<lux_name> <scheme_name>]
[(def: .public <lux_name>
(-> (List Expression) Computation)
- (|>> (partial_list (..var <scheme_name>)) ..form))]
+ (|>> (list.partial (..var <scheme_name>)) ..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 [<lux_def_module> (these [|form_location| {.#Form (partial_list [|text_location| {.#Text "lux def module"}] annotations)}])]
+(with_expansions [<lux_def_module> (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 <lux_def_module> referrals))
+ (pattern (list.partial <lux_def_module> referrals))
(|> (again archive <lux_def_module>)
(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
"<init>")
@@ -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 [<name> <category>]
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 [<failure_condition> (_.eq/2 [@variant @temp])]
(_.let (list [@variant ..peek])
- (partial_list (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
+ (list.partial (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
(.if simple?
(_.when <failure_condition>
(_.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 <init>::method apply::method+)
+ (list.partial <init>::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<Meta>]
... [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<Meta>]
... [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 @@
<continue>
sub_members
- (partial_list <member> sub_members))
+ (list.partial <member> sub_members))
_
<failure>)))))
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 @@
<application>)))
... 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
{<tag> left right}
- (partial_list left (<name> right))
+ (list.partial left (<name> right))
_
(list type)))]
@@ -234,12 +234,12 @@
(^.with_template [<tag>]
[{<tag> 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 <type>)
(function (_ input)
(case input
- (pattern (partial_list (<tag> x) input'))
+ (pattern (list.partial (<tag> x) input'))
{try.#Success [input' x]}
_
@@ -101,7 +101,7 @@
(-> <type> (Parser Any))
(function (_ input)
(case input
- (pattern (partial_list (<tag> actual) input'))
+ (pattern (list.partial (<tag> actual) input'))
(if (at <eq> = 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 [<sha-1> (format type ///artifact/extension.sha-1)
<md5> (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
@@ -178,16 +178,6 @@
_
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))
)))
(type: (Returner a)
@@ -1114,7 +1104,7 @@
let/3 <code>.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 {<side> [labels|head labels|tail]}]})
- _ (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)]
+ _ (/.declare_labels <record?> (list.partial labels|head labels|tail) public? it)]
(monad.each ! (|>> [module_name] <query> /extension.lifted)
- (partial_list labels|head labels|tail))))
+ (list.partial labels|head labels|tail))))
(/phase.result state)
(pipe.case
{try.#Success _} <on_success>
@@ -312,7 +312,7 @@
(do [! /phase.monad]
[.let [it def_type]
_ (/.define def_name {.#Type [public? it {<side> [labels|head labels|tail]}]})]
- (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)))
+ (/.declare_labels <record?> (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 {<side> [labels|head labels|tail]}]})]
- (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)))
+ (/.declare_labels <record?> (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 [<type> <slot> <?>]
[(_.coverage [<type>]
- (|> (partial_list "build" compilation')
+ (|> (list.partial "build" compilation')
(<cli>.result /.service)
(try#each (|>> (pipe.case
{/.#Compilation it}
@@ -80,7 +80,7 @@
)))
(_.coverage [/.Interpretation]
(`` (and (~~ (with_template [<slot> <?>]
- [(|> (partial_list "repl" compilation')
+ [(|> (list.partial "repl" compilation')
(<cli>.result /.service)
(try#each (|>> (pipe.case
{/.#Interpretation it}
@@ -102,7 +102,7 @@
)))))
(_.coverage [/.Export]
(`` (and (~~ (with_template [<side> <?>]
- [(|> (partial_list "export" export)
+ [(|> (list.partial "export" export)
(<cli>.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 []})))