diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/array.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/array.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 1d0d95f34..2d413f633 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -211,9 +211,9 @@ (do ! [occupancy (# ! each (n.% (++ size)) random.nat)] (_.cover [!.occupancy !.vacancy] - (let [the_array (loop [output (is (Array Nat) - (!.empty size)) - idx 0] + (let [the_array (loop (again [output (is (Array Nat) + (!.empty size)) + idx 0]) (if (n.< occupancy idx) (again (!.has! idx expected output) (++ idx)) @@ -394,9 +394,9 @@ (do ! [occupancy (# ! each (n.% (++ size)) random.nat)] (_.cover [/.occupancy /.vacancy] - (let [the_array (loop [output (is (Array Nat) - (/.empty size)) - idx 0] + (let [the_array (loop (again [output (is (Array Nat) + (/.empty size)) + idx 0]) (if (n.< occupancy idx) (again (/.write! idx expected output) (++ idx)) |