aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/cache.lux2
-rw-r--r--stdlib/source/test/aedifex/cli.lux4
-rw-r--r--stdlib/source/test/lux.lux8
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux40
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux4
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux2
-rw-r--r--stdlib/source/test/lux/meta.lux22
-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
17 files changed, 66 insertions, 66 deletions
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 09e022c89..06b33d138 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -96,7 +96,7 @@
content ..content]
(in [dependency
(has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))]
- (in (dictionary.of_list //dependency.hash (list& [main_dependency main_package] dependencies)))))
+ (in (dictionary.of_list //dependency.hash (partial_list [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 0dd70ae6d..3f3f79b1c 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} (list& "auto" (..compilation_format compilation))))
+ {/.#Auto compilation} (partial_list "auto" (..compilation_format compilation))))
(def: without_profile
Test
@@ -92,7 +92,7 @@
(_.test "With profile."
(|> expected_command
..format
- (list& "with" expected_profile)
+ (partial_list "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 9e52c5465..e0798b844 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -179,9 +179,9 @@
_
false))
- (_.cover [/.list&]
- (case (/.list& e/0 e/1 (/.list e/2 e/3))
- (pattern (/.list& a/0 a/1 (/.list a/2 a/3)))
+ (_.cover [/.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)
@@ -1131,7 +1131,7 @@
let/3 <code>.local])
(in (list (code.bit (case (the .#scopes *lux*)
- (pattern (list& scope/2 _))
+ (pattern (partial_list 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/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index 6d72ff177..cbdc528bd 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -54,7 +54,7 @@
(implementation
(def: &hash
(implementation
- (def: &equivalence
+ (def: equivalence
(implementation
(def: (= reference sample)
(text#= (%#can_downgrade reference)
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index 491e35448..2f9465e94 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -56,7 +56,7 @@
[constant random.nat
.let [hash (is (Hash Nat)
(implementation
- (def: &equivalence n.equivalence)
+ (def: equivalence n.equivalence)
(def: (hash _)
constant)))]]
(_.cover [/.key_hash]
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 0d6f31475..a5336f6f7 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -55,7 +55,7 @@
[hash (# ! each (function (_ constant)
(is (Hash Nat)
(implementation
- (def: &equivalence n.equivalence)
+ (def: equivalence n.equivalence)
(def: (hash _)
constant))))
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 04a3eed86..b4b97a984 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -23,15 +23,15 @@
(random.Random Nat)
(# random.monad each (n.% 100) random.nat))
-(def: .public (random size &order gen_value)
+(def: .public (random size order gen_value)
(All (_ a) (-> Nat (Order a) (Random a) (Random (Set a))))
(case size
0
- (random#in (/.empty &order))
+ (random#in (/.empty order))
_
(do random.monad
- [partial (random (-- size) &order gen_value)
+ [partial (random (-- size) order gen_value)
value (random.only (|>> (/.member? partial) not)
gen_value)]
(in (/.has value partial)))))
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux
index d7fa8a191..64c5d6337 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)))))
(_.cover [/.cycle]
- (let [cycle (list& cycle_start cycle_next)]
+ (let [cycle (partial_list 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 8973e4818..b8569005e 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,23 +1,23 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- ["[0]" monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]
- ["$[0]" mix]
- ["$[0]" functor]]]
- [data
- ["[0]" product]
- [collection
- ["[0]" list ("[1]#[0]" functor mix)]]]
- [math
- ["[0]" random {"+" Random}]
- [number
- ["n" nat]]]]]
- [\\library
- ["[0]" / {"+" Tree}]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ ["[0]" monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]
+ ["$[0]" mix]
+ ["$[0]" functor]]]
+ [data
+ ["[0]" product]
+ [collection
+ ["[0]" list ("[1]#[0]" functor mix)]]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]]]]]
+ [\\library
+ ["[0]" / {"+" Tree}]])
(def: .public (tree gen_value)
(All (_ a) (-> (Random a) (Random [Nat (Tree a)])))
@@ -62,7 +62,7 @@
children (random.list num_children random.nat)]
(_.cover [/.branch]
(# (list.equivalence n.equivalence) =
- (list& value children)
+ (partial_list 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 85c5ec037..fb4ddc214 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 @@
(# builder branch tree (# builder leaf tag value)))
(# builder leaf tags/H values/H)
(list.zipped_2 tags/T values/T))]
- (and (# tags_equivalence = (list& tags/H tags/T) (/.tags tree))
- (# values_equivalence = (list& values/H values/T) (/.values tree))))))
+ (and (# tags_equivalence = (partial_list tags/H tags/T) (/.tags tree))
+ (# values_equivalence = (partial_list values/H values/T) (/.values tree))))))
(_.cover [/.one]
(let [can_find_correct_one!
(|> (# ..builder leaf tag_left expected_left)
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 561ab0f04..ec6b56f7e 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -140,7 +140,7 @@
(function (_ narrow)
(# random.functor each narrow random.i64)))]]
($_ _.and
- ($equivalence.spec (# sub &equivalence) (random (# sub narrow)))
+ ($equivalence.spec (# sub sub_equivalence) (random (# sub narrow)))
(_.cover [/.sub]
(let [actual (|> expected .i64 (# sub narrow) (# sub wide))]
(#= expected actual)))
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 33e22c581..b01cdd67a 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -709,17 +709,17 @@
[label_module
[.#module_hash 0
.#module_aliases (list)
- .#definitions (list& [name_0 {.#Type [true type_0 {.#Left tags_0}]}]
- [name_1 {.#Type [true type_1 {.#Right tags_1}]}]
- ($_ list#composite
- (|> {.#Item tags_0}
- list.enumeration
- (list#each (function (_ [index short])
- [short {.#Tag [true type_0 {.#Item tags_0} index]}])))
- (|> {.#Item tags_1}
- list.enumeration
- (list#each (function (_ [index short])
- [short {.#Slot [true type_1 {.#Item tags_1} index]}])))))
+ .#definitions (partial_list [name_0 {.#Type [true type_0 {.#Left tags_0}]}]
+ [name_1 {.#Type [true type_1 {.#Right tags_1}]}]
+ ($_ list#composite
+ (|> {.#Item tags_0}
+ list.enumeration
+ (list#each (function (_ [index short])
+ [short {.#Tag [true type_0 {.#Item tags_0} index]}])))
+ (|> {.#Item tags_1}
+ list.enumeration
+ (list#each (function (_ [index short])
+ [short {.#Slot [true type_1 {.#Item tags_1} index]}])))))
.#imports (list)
.#module_state {.#Active}]])
.#scopes (list)
diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux
index fc300a01d..f3b4b2a5f 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.ascii/upper amount)
value (random.ascii/lower amount)]
- (# ! each (|>> (list& [feature value]))
+ (# ! each (|>> (partial_list [feature value]))
(random (-- amount))))))
(syntax: (failure [it <code>.any])
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 f87e34b08..538f8375a 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 (list& labels|head labels|tail) index]}]
- [{.#Slot [public? def_type (list& labels|head labels|tail) index]}]))
+ [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}]
+ [{.#Slot [public? def_type (partial_list 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 (list& labels|head labels|tail) index]}]
- [{.#Slot [public? def_type (list& labels|head labels|tail) index]}]))
+ [{.#Tag [public? def_type (partial_list labels|head labels|tail) index]}]
+ [{.#Slot [public? def_type (partial_list 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?> (list& labels|head labels|tail) public? it)]
+ _ (/.declare_labels <record?> (partial_list labels|head labels|tail) public? it)]
(monad.each ! (|>> [module_name] <query> /extension.lifted)
- (list& labels|head labels|tail))))
+ (partial_list 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?> (list& labels|head labels|tail) public? it)))
+ (/.declare_labels <record?> (partial_list 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?> (list& labels|head labels|tail) public? it)))
+ (/.declare_labels <record?> (partial_list 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 ab9504ee5..97ee8ac28 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -59,7 +59,7 @@
(`` ($_ _.and
(~~ (template [<type> <slot> <?>]
[(_.cover [<type>]
- (|> (list& "build" compilation')
+ (|> (partial_list "build" compilation')
(<cli>.result /.service)
(try#each (|>> (pipe.case
{/.#Compilation it}
@@ -82,7 +82,7 @@
)))
(_.cover [/.Interpretation]
(`` (and (~~ (template [<slot> <?>]
- [(|> (list& "repl" compilation')
+ [(|> (partial_list "repl" compilation')
(<cli>.result /.service)
(try#each (|>> (pipe.case
{/.#Interpretation it}
@@ -104,7 +104,7 @@
)))))
(_.cover [/.Export]
(`` (and (~~ (template [<side> <?>]
- [(|> (list& "export" export)
+ [(|> (partial_list "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 37c006732..fab083c9e 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) (list& var/head var/tail+))
- successes (monad.each ! (|>> (/.check nominal/0) ..verdict) (list& var/head var/tail+))]
+ 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+))]
(/.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 (list& var/head/0 var/tail+/0)
- (list& var/head/1 var/tail+/1))]
+ .let [all_variables (list#composite (partial_list var/head/0 var/tail+/0)
+ (partial_list 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 ae9d7ff01..5d1654269 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 (|>> (list& @)) parent)
+ (alert_parent! disk (|>> (partial_list @)) 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 (|>> (list& @)) parent)
+ (alert_parent! disk (|>> (partial_list @)) parent)
{.#None}
(in {try.#Success []})))
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 15:56:39 +0000