diff options
author | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 14:19:07 -0400 |
commit | 616ce8051f59f956fedc57780f5a8fefa16dd61d (patch) | |
tree | d0cf43811d8414730cd52fb0d509c7cbc7032cda /stdlib/source/test/lux/type/check.lux | |
parent | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (diff) |
Re-named "partial_list" to "list.partial".
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 8 |
1 files changed, 4 insertions, 4 deletions
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) |