diff options
Diffstat (limited to 'stdlib/source/test/lux/tool')
6 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index aa0a98c6b..7750db2ed 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -113,7 +113,7 @@ (list.size actual)) (list.every? (function (_ [expected actual]) (analysed? expected actual)) - (list.zipped/2 expected actual))) + (list.zipped_2 expected actual))) (^.template [<expected> <actual>] [(pattern [[_ {<expected> expected}] (<actual> actual)]) @@ -312,7 +312,7 @@ (list.size actual)) (list.every? (function (_ [expected actual]) (..analysed? expected actual)) - (list.zipped/2 expected actual))) + (list.zipped_2 expected actual))) _ false))) @@ -337,7 +337,7 @@ (list.size actual)) (list.every? (function (_ [expected actual]) (..analysed? expected actual)) - (list.zipped/2 expected actual))) + (list.zipped_2 expected actual))) _ false))) @@ -355,7 +355,7 @@ (list.size actual)) (list.every? (function (_ [expected actual]) (..analysed? expected actual)) - (list.zipped/2 expected actual)) + (list.zipped_2 expected actual)) (type#= productT :inferred:)) _ @@ -450,16 +450,16 @@ :record: {.#Named name (type.tuple (list#each product.left types/*,terms/*))} tuple (list#each product.right types/*,terms/*) local_record (|> tuple - (list.zipped/2 (list#each (|>> [""] code.symbol) slots/0)) + (list.zipped_2 (list#each (|>> [""] code.symbol) slots/0)) (list#each (function (_ [slot value]) (list slot value))) list#conjoint) global_record (|> tuple - (list.zipped/2 (list#each (|>> [module] code.symbol) slots/0)) + (list.zipped_2 (list#each (|>> [module] code.symbol) slots/0)) (list#each (function (_ [slot value]) (list slot value))) list#conjoint) - expected_record (list.zipped/2 (list#each (|>> [module]) slots/0) + expected_record (list.zipped_2 (list#each (|>> [module]) slots/0) tuple) head_slot/0 (|> slots/0 list.head maybe.trusted) head_term/0 (|> types/*,terms/* list.head maybe.trusted product.right) @@ -499,8 +499,8 @@ _ false))))) (_.cover [/.order] - (let [local_record (list.zipped/2 (list#each (|>> [""]) slots/0) tuple) - global_record (list.zipped/2 (list#each (|>> [module]) slots/0) tuple) + (let [local_record (list.zipped_2 (list#each (|>> [""]) slots/0) tuple) + global_record (list.zipped_2 (list#each (|>> [module]) slots/0) tuple) ordered? (is (-> Bit (List [Symbol Code]) Bit) (function (_ pattern_matching? input) (|> (do //phase.monad @@ -556,8 +556,8 @@ (and (repeated? false) (repeated? true)))) (_.cover [/.record_size_mismatch] - (let [local_record (list.zipped/2 (list#each (|>> [""]) slots/0) tuple) - global_record (list.zipped/2 (list#each (|>> [module]) slots/0) tuple) + (let [local_record (list.zipped_2 (list#each (|>> [""]) slots/0) tuple) + global_record (list.zipped_2 (list#each (|>> [module]) slots/0) tuple) mismatched? (is (-> Bit (List [Symbol Code]) Bit) (function (_ pattern_matching? input) (|> (do //phase.monad @@ -575,8 +575,8 @@ (mismatched? false (list#composite global_record (list.first slice global_record))) (mismatched? true (list#composite global_record (list.first slice global_record)))))) (_.cover [/.slot_does_not_belong_to_record] - (let [local_record (list.zipped/2 (list#each (|>> [""]) slots/01) tuple) - global_record (list.zipped/2 (list#each (|>> [module]) slots/01) tuple) + (let [local_record (list.zipped_2 (list#each (|>> [""]) slots/01) tuple) + global_record (list.zipped_2 (list#each (|>> [module]) slots/01) tuple) mismatched? (is (-> Bit (List [Symbol Code]) Bit) (function (_ pattern_matching? input) (|> (do //phase.monad diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index aaa52ad0f..b65c3fa9d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -304,14 +304,14 @@ (in [(list#mix (function (_ left right) {synthesis.#Alt left right}) (path (++ mid_size) true value/last body/last) - (|> (list.zipped/2 value/mid body/mid) + (|> (list.zipped_2 value/mid body/mid) {.#Item [value/first body/first]} list.enumeration (list#each (function (_ [lefts' [value body]]) (path lefts' false value body))) list.reversed)) [(branch 0 false value/first body/first) - (list#composite (|> (list.zipped/2 value/mid body/mid) + (list#composite (|> (list.zipped_2 value/mid body/mid) list.enumeration (list#each (function (_ [lefts' [value body]]) (branch (++ lefts') false value body)))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index ba3f7dc86..01ebdec3f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -450,7 +450,7 @@ (!expect (^.multi (pattern {try.#Success (synthesis.function/apply [funcS argsS])}) (and (//primitive.corresponds? funcA funcS) (list.every? (product.uncurried //primitive.corresponds?) - (list.zipped/2 argsA argsS)))))) + (list.zipped_2 argsA argsS)))))) (|> (analysis.apply [funcA (list)]) (//.phase archive.empty) (phase.result [///bundle.empty synthesis.init]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index 2de99cd64..33f3378a1 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -66,7 +66,7 @@ (list.size actual)) (list.every? (function (_ [expected actual]) (corresponds? expected actual)) - (list.zipped/2 expected actual))) + (list.zipped_2 expected actual))) _ false))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 6adfb95b2..d0383c9a7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -71,7 +71,7 @@ (pattern {try.#Success (////synthesis.tuple membersS)}) (and (n.= size (list.size membersS)) (list.every? (product.uncurried //primitive.corresponds?) - (list.zipped/2 membersA membersS))) + (list.zipped_2 membersA membersS))) _ false))))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index d012390fc..595123f7f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -146,7 +146,7 @@ (and (n.= expected_amount (sequence.size it)) (list.every? (function (_ [@it [it dependencies]]) (same? @it (the artifact.#id it))) - (list.zipped/2 (sequence.list ids) (sequence.list it))) + (list.zipped_2 (sequence.list ids) (sequence.list it))) (# (list.equivalence <equivalence>) = expected/* (<query> registry))))] [/.definition /.definitions category.definition_equivalence (is (-> Text category.Definition) |