diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language')
32 files changed, 166 insertions, 166 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux index 4ee608dd2..738795545 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux @@ -69,8 +69,8 @@ (implementation: .public (hash super) (All (_ a) (-> (Hash a) (Hash (Complex a)))) - (def: &equivalence - (..equivalence (# super &equivalence))) + (def: equivalence + (..equivalence (# super equivalence))) (def: (hash value) (case value 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 ccb3e06ed..0e100dad2 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} - (list& left (alternatives right)) + (partial_list 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 4c706598f..88f4c7069 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' (list& @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args)) + (general' (partial_list @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' (list& argA args'A)])) + (in [just_before vars outputT' (partial_list 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 6caf2ffab..394d54163 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 [(list& @head tail) :tuple:])) + (in [(partial_list @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 [(list& memberP memberP+) thenA])))) + (in [(partial_list 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 (list& [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}]) + (pattern [location {.#Variant (partial_list [_ {.#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 (list& [_ {.#Symbol tag}] values)}]) + (pattern [location {.#Variant (partial_list [_ {.#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 fdb485bbd..b1d7398e6 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 (list& [_ {.#Symbol ["" slotH]}] valueH tail)) + (pattern (partial_list [_ {.#Symbol ["" slotH]}] valueH tail)) (if pattern_matching? (///#in {.#None}) (do ///.monad [slotH (///extension.lifted (meta.normal ["" slotH]))] (again tail {.#Item [slotH valueH] output}))) - (pattern (list& [_ {.#Symbol slotH}] valueH tail)) + (pattern (partial_list [_ {.#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 0c301f277..df695d244 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 (list& [|text_location| {.#Text "lux def module"}] annotations)}])] +(with_expansions [<lux_def_module> (these [|form_location| {.#Form (partial_list [|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 (list& [_ {.#Text name}] inputs)}]) + (pattern [_ {.#Form (partial_list [_ {.#Text name}] inputs)}]) (//extension.apply archive again [name inputs]) - (pattern [_ {.#Form (list& macro inputs)}]) + (pattern [_ {.#Form (partial_list macro inputs)}]) (do ! [expansion (/.lifted_analysis (do ! @@ -114,7 +114,7 @@ _ (//.except ..invalid_macro_call code))))] (case expansion - (pattern (list& <lux_def_module> referrals)) + (pattern (partial_list <lux_def_module> referrals)) (|> (again archive <lux_def_module>) (# ! 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 5acdad833..1d0c1f86b 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 (list& constructorA inputsA)})))])) + (in {analysis.#Extension extension (partial_list constructorA inputsA)})))])) (def: object::get Handler @@ -154,9 +154,9 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (list& (analysis.text methodC) - objectA - inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text methodC) + objectA + inputsA)})))])) (def: bundle::object Bundle @@ -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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 4b7c3e153..3547f8029 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 @@ -946,7 +946,7 @@ (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)]))) (case (java/lang/Class::getGenericSuperclass source_class) {.#Some super} - (list& super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class))) + (partial_list super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class))) {.#None} (if (java/lang/reflect/Modifier::isInterface (java/lang/Class::getModifiers source_class)) @@ -957,7 +957,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 _ (list& self_classT super_classT super_interfacesT+)}) + (pattern {.#Primitive _ (partial_list self_classT super_classT super_interfacesT+)}) (monad.each phase.monad (function (_ superT) (do [! phase.monad] @@ -965,7 +965,7 @@ super_class (phase.lifted (reflection!.load class_loader super_name))] (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)]))) - (list& super_classT super_interfacesT+)) + (partial_list super_classT super_interfacesT+)) _ (/////analysis.except ..cannot_cast [fromT toT fromC]))) @@ -1312,8 +1312,8 @@ inputsT _ - (list& {.#Primitive (java/lang/Class::getName owner) owner_tvarsT} - inputsT))) + (partial_list {.#Primitive (java/lang/Class::getName owner) owner_tvarsT} + inputsT))) outputT)]] (in [methodT (reflection!.deprecated? (java/lang/reflect/Method::getDeclaredAnnotations method)) @@ -1397,14 +1397,14 @@ (let [interfaces (array.list {.#None} (java/lang/Class::getInterfaces it)) supers (case (java/lang/Class::getSuperclass it) {.#Some class} - (list& class interfaces) + (partial_list class interfaces) {.#None} interfaces)] (|> supers (list#each family_tree') list#conjoint - (list& it)))) + (partial_list it)))) (def: family_tree (-> (java/lang/Class java/lang/Object) @@ -1454,7 +1454,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 (list& method alternatives)]))))) + (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (partial_list method alternatives)]))))) (def: constructor_method "<init>") @@ -1526,10 +1526,10 @@ (not deprecated?)) [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC)) outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list)))) - (/////analysis.text method) - (/////analysis.text (..signature outputJT)) - (decorate_inputs argsT argsA))})))])) + (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (/////analysis.text method) + (/////analysis.text (..signature outputJT)) + (decorate_inputs argsT argsA))})))])) (def: (invoke::virtual class_loader) (-> java/lang/ClassLoader Handler) @@ -1542,7 +1542,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 (list& objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1550,11 +1550,11 @@ _ (undefined))] outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list)))) - (/////analysis.text method) - (/////analysis.text (..signature outputJT)) - objectA - (decorate_inputs argsT argsA))})))])) + (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (/////analysis.text method) + (/////analysis.text (..signature outputJT)) + objectA + (decorate_inputs argsT argsA))})))])) (def: (invoke::special class_loader) (-> java/lang/ClassLoader Handler) @@ -1567,7 +1567,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 (list& objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1575,11 +1575,11 @@ _ (undefined))] outputJT (check_return outputT)] - (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list)))) - (/////analysis.text method) - (/////analysis.text (..signature outputJT)) - objectA - (decorate_inputs argsT argsA))})))])) + (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (/////analysis.text method) + (/////analysis.text (..signature outputJT)) + objectA + (decorate_inputs argsT argsA))})))])) (def: (invoke::interface class_loader) (-> java/lang/ClassLoader Handler) @@ -1595,7 +1595,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 (list& objectC (list#each product.right argsTC))) + [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC))) .let [[objectA argsA] (case allA {.#Item objectA argsA} [objectA argsA] @@ -1604,11 +1604,11 @@ (undefined))] outputJT (check_return outputT)] (in {/////analysis.#Extension extension_name - (list& (/////analysis.text (..signature (jvm.class class_name (list)))) - (/////analysis.text method) - (/////analysis.text (..signature outputJT)) - objectA - (decorate_inputs argsT argsA))})))])) + (partial_list (/////analysis.text (..signature (jvm.class class_name (list)))) + (/////analysis.text method) + (/////analysis.text (..signature outputJT)) + objectA + (decorate_inputs argsT argsA))})))])) (def: (invoke::constructor class_loader) (-> java/lang/ClassLoader Handler) @@ -1622,8 +1622,8 @@ _ (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 (list& (/////analysis.text (..signature (jvm.class class (list)))) - (decorate_inputs argsT argsA))})))])) + (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list)))) + (decorate_inputs argsT argsA))})))])) (def: (bundle::member class_loader) (-> java/lang/ClassLoader Bundle) @@ -1671,8 +1671,8 @@ (def: (annotation_analysis [name parameters]) (-> (Annotation Analysis) Analysis) - (/////analysis.tuple (list& (/////analysis.text name) - (list#each annotation_parameter_analysis parameters)))) + (/////analysis.tuple (partial_list (/////analysis.text name) + (list#each annotation_parameter_analysis parameters)))) (template [<name> <category>] [(def: <name> 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 4949783fe..a0e5d2a1c 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,9 +154,9 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (list& (analysis.text methodC) - objectA - inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text methodC) + objectA + inputsA)})))])) (def: bundle::object Bundle @@ -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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 ba71661c9..bf2f53507 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)))) - (list& input else) + (partial_list 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 dae6adef6..760db788c 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 (list& (analysis.text constructor) inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text constructor) inputsA)})))])) (def: object::get Handler @@ -156,9 +156,9 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC) _ (analysis/type.infer .Any)] - (in {analysis.#Extension extension (list& (analysis.text methodC) - objectA - inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text methodC) + objectA + inputsA)})))])) (def: bundle::object Bundle @@ -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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 f35ad7128..ceecbce4f 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,9 +158,9 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (list& (analysis.text methodC) - objectA - inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text methodC) + objectA + inputsA)})))])) (def: bundle::object Bundle @@ -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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 a102f6b29..8af81e312 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,9 +154,9 @@ (phase archive objectC)) inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC) _ (analysis/type.inference .Any)] - (in {analysis.#Extension extension (list& (analysis.text methodC) - objectA - inputsA)})))])) + (in {analysis.#Extension extension (partial_list (analysis.text methodC) + objectA + inputsA)})))])) (def: bundle::object Bundle @@ -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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 c1c425142..da2c2e828 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 (list& abstractionA inputsA)})))])) + (in {analysis.#Extension extension (partial_list 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 ab72fe131..0906183ef 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 (list& super interfaces) method) + (jvm.analyse_overriden_method analyse archive selfT mapping (partial_list 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 45c374faa..f5fbdaf17 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,8 +1230,8 @@ (name.internal (..reflection super_class)) (list#each (|>> ..reflection name.internal) super_interfaces) (foreign.variables total_environment) - (list& (..with_anonymous_init class total_environment super_class inputsTI) - methods!) + (partial_list (..with_anonymous_init class total_environment super_class inputsTI) + methods!) (sequence.sequence))) .let [artifact [anonymous_class_name bytecode]] _ (//////generation.execute! artifact) 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 dc7b0f38b..1caff3899 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 @@ -83,19 +83,19 @@ conditionals)) .let [foreigns (|> conditionals (list#each (|>> product.right synthesis.path/then //case.dependencies)) - (list& (//case.dependencies (synthesis.path/then else))) + (partial_list (//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 (list& (_.parameter @input) (list#each _.reference foreigns)) + directive (_.define_function @expression (partial_list (_.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/* (list& inputG foreigns) @expression))))])) + (in (_.apply/* (partial_list 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 fbad56663..43ca63829 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,19 +111,19 @@ (-> _.Tag Bit Nat (Maybe (Expression Any)) (Expression Any)) (.let [<failure_condition> (_.eq/2 [@variant @temp])] (_.let (list [@variant ..peek]) - (list& (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>))) - (.if simple? - (_.when <failure_condition> - (_.go @fail)) - (_.if <failure_condition> - (_.go @fail) - (..push! @temp))) - (.case next! - {.#Some next!} - (list next!) - - {.#None} - (list))))))] + (partial_list (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>))) + (.if simple? + (_.when <failure_condition> + (_.go @fail)) + (_.if <failure_condition> + (_.go @fail) + (..push! @temp))) + (.case next! + {.#Some next!} + (list next!) + + {.#None} + (list))))))] [left_choice _.nil (<|)] [right_choice (_.string "") ++] @@ -255,10 +255,10 @@ (list#each (function (_ register) [(..register register) _.nil])))]] - (in (_.let (list& [@cursor (_.list/* (list initG))] - [@savepoint (_.list/* (list))] - [@temp _.nil] - [$output _.nil] - storage) + (in (_.let (partial_list [@cursor (_.list/* (list initG))] + [@savepoint (_.list/* (list))] + [@temp _.nil] + [$output _.nil] + storage) (list pattern_matching! $output))))) 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 acbab199d..29ad332ab 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 @@ -1,36 +1,36 @@ (.using - [library - [lux {"-" Scope} - [abstract - ["[0]" monad {"+" do}]] - [data - ["[0]" product] - [text - ["%" format {"+" format}]] - [collection - ["[0]" list ("[1]#[0]" functor)]]] - [math - [number - ["n" nat]]] - [target - ["_" common_lisp {"+" Expression}]]]] - ["[0]" // "_" - [runtime {"+" Operation Phase Generator}] - ["[1][0]" case] + [library + [lux {"-" Scope} + [abstract + ["[0]" monad {"+" do}]] + [data + ["[0]" product] + [text + ["%" format {"+" format}]] + [collection + ["[0]" list ("[1]#[0]" functor)]]] + [math + [number + ["n" nat]]] + [target + ["_" common_lisp {"+" Expression}]]]] + ["[0]" // "_" + [runtime {"+" Operation Phase Generator}] + ["[1][0]" case] + ["/[1]" // "_" + ["[1][0]" reference] ["/[1]" // "_" - ["[1][0]" reference] + [synthesis + ["[0]" case]] ["/[1]" // "_" - [synthesis - ["[0]" case]] - ["/[1]" // "_" - ["[0]"synthesis {"+" Scope Synthesis}] - ["[1][0]" generation] - ["//[1]" /// "_" - ["[1][0]" phase] - [meta - [archive {"+" Archive}]] - [reference - [variable {"+" Register}]]]]]]]) + ["[0]"synthesis {"+" Scope Synthesis}] + ["[1][0]" generation] + ["//[1]" /// "_" + ["[1][0]" phase] + [meta + [archive {"+" Archive}]] + [reference + [variable {"+" Register}]]]]]]]) (def: .public (scope expression archive [start initsS+ bodyS]) (Generator (Scope Synthesis)) @@ -53,7 +53,7 @@ (list#each (function (_ [idx init]) [(|> idx (n.+ start) //case.register) init])) - (list& [@output _.nil])) + (partial_list [@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 7fd639b8f..1de6aba52 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,15 +77,15 @@ (list#composite (/foreign.variables environment) (/partial.variables arity))) methods (is (List (Resource Method)) - (list& (/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))) - (list& (/implementation.method classT arity @begin body))) - (list (/implementation.method classT arity @begin body) - (/apply.method classT environment arity @begin body 1)))))] + (partial_list (/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 (/implementation.method classT arity @begin body) + (/apply.method classT environment arity @begin body 1)))))] (do phase.monad [instance (/new.instance generate archive classT environment arity)] (in [fields methods instance])))) 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 924a2e21d..165c3e502 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) - (list& :it: (list.repeated arity ////type.value)) + (partial_list :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 e6734dfcb..554f0cb8e 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) - (list& ///arity.type (..partials arity)) + (partial_list ///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 789884c63..136c1c359 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,11 +592,11 @@ (_.aload arity) (_.invokevirtual //function.class ..apply::name (..apply::type //function/arity.minimum)) _.areturn))}))) - (list& (method.method (modifier#composite method.public method.abstract) - ..apply::name - #0 (..apply::type //function/arity.minimum) - (list) - {.#None}))) + (partial_list (method.method (modifier#composite method.public method.abstract) + ..apply::name + #0 (..apply::type //function/arity.minimum) + (list) + {.#None}))) <init>::method (method.method method.public "<init>" #0 //function.init (list) @@ -627,7 +627,7 @@ {.#None} (name.internal (..reflection ^Object)) (list) (list partial_count) - (list& <init>::method apply::method+) + (partial_list <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 bd95510e2..5e6c9ea30 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) ($_ _.then - (_.set! @selfL (_.closure (list& (_.reference @selfL) (list#each _.reference @inits)) + (_.set! @selfL (_.closure (partial_list (_.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 5a1b6479f..e1b8b84e6 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 (list& functionS argsS+)) +... (pattern (partial_list 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 (list& tableS [_ {.#Text field}] argsS+)) +... (pattern (partial_list 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 3412ae778..0f8d92144 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 - (list& <member> sub_members)) + (partial_list <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 a8991f643..c11213340 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!" (list& input else matches)]}) + (pattern {/.#Extension ["lux syntax char case!" (partial_list 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!" (list& input else matches)]})) + (in {/.#Extension ["lux syntax char case!" (partial_list input else matches)]})) {.#None}) {/.#Extension [name args]} diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index 3b1a2ad84..9ecea955a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -454,8 +454,8 @@ (implementation: (path'_hash super) (All (_ a) (-> (Hash a) (Hash (Path' a)))) - (def: &equivalence - (..path'_equivalence (# super &equivalence))) + (def: equivalence + (..path'_equivalence (# super equivalence))) (def: (hash value) (case value @@ -529,8 +529,8 @@ (implementation: (branch_hash super) (All (_ a) (-> (Hash a) (Hash (Branch a)))) - (def: &equivalence - (..branch_equivalence (# super &equivalence))) + (def: equivalence + (..branch_equivalence (# super equivalence))) (def: (hash value) (case value @@ -582,8 +582,8 @@ (implementation: (loop_hash super) (All (_ a) (-> (Hash a) (Hash (Loop a)))) - (def: &equivalence - (..loop_equivalence (# super &equivalence))) + (def: equivalence + (..loop_equivalence (# super equivalence))) (def: (hash value) (case value @@ -620,8 +620,8 @@ (implementation: (function_hash super) (All (_ a) (-> (Hash a) (Hash (Function a)))) - (def: &equivalence - (..function_equivalence (# super &equivalence))) + (def: equivalence + (..function_equivalence (# super equivalence))) (def: (hash value) (case value @@ -655,8 +655,8 @@ (implementation: (control_hash super) (All (_ a) (-> (Hash a) (Hash (Control a)))) - (def: &equivalence - (..control_equivalence (# super &equivalence))) + (def: equivalence + (..control_equivalence (# super equivalence))) (def: (hash value) (case value @@ -692,7 +692,7 @@ (implementation: .public hash (Hash Synthesis) - (def: &equivalence ..equivalence) + (def: equivalence ..equivalence) (def: (hash value) (let [again_hash [..equivalence hash]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux index cb3e3f50a..bdc53c382 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux @@ -35,4 +35,4 @@ (def: .public equivalence (Equivalence Access) - (# ..hash &equivalence)) + (# ..hash equivalence)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux index e6c9fb680..128f12c26 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -31,4 +31,4 @@ (def: .public equivalence (Equivalence Member) - (# ..hash &equivalence)) + (# ..hash equivalence)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux index 045681ac2..a694b7c45 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -31,4 +31,4 @@ (def: .public equivalence (Equivalence Side) - (# ..hash &equivalence)) + (# ..hash equivalence)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux index 05b5201f8..741088fb0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -60,7 +60,7 @@ (implementation: .public hash (Hash Simple) - (def: &equivalence ..equivalence) + (def: equivalence ..equivalence) (def: hash (|>> (pipe.case |