aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 14:19:07 -0400
committerEduardo Julian2022-06-12 14:19:07 -0400
commit616ce8051f59f956fedc57780f5a8fefa16dd61d (patch)
treed0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/test
parent8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff)
Re-named "partial_list" to "list.partial".
Diffstat (limited to '')
-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
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 []})))