diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/cache.lux | 5 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/cli.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux.lux | 12 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/stream.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/tree.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/tree/finger.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/meta.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/meta/configuration.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux | 16 | ||||
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/meta/cli.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 8 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file.lux | 4 |
12 files changed, 29 insertions, 38 deletions
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 []}))) |