diff options
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) |