diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/rev.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/rev.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index 82b16e725..72d03d335 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -89,27 +89,27 @@ (and (/.< left (/.* left right)) (/.< right (/.* left right))))) (do [! random.monad] - [.let [dividend (# ! each (i64.and (hex "FFFF")) - random.rev) - divisor (# ! each (|>> (i64.and (hex "F")) - (i64.or (hex "1")) - (i64.right_rotated 8) - .rev) - random.nat)] + [.let [dividend (at ! each (i64.and (hex "FFFF")) + random.rev) + divisor (at ! each (|>> (i64.and (hex "F")) + (i64.or (hex "1")) + (i64.right_rotated 8) + .rev) + random.nat)] dividend (random.only (/.> .0) dividend) divisor/0 divisor divisor/1 (random.only (|>> (/.= divisor/0) not) divisor) - scale (# ! each (|>> (n.% 10) ++) - random.nat)] + scale (at ! each (|>> (n.% 10) ++) + random.nat)] (all _.and (_.coverage [/./] (bit#= (/.< divisor/0 divisor/1) (/.> (/./ divisor/0 dividend) (/./ divisor/1 dividend)))) (_.coverage [/.%] - (# i64.equivalence = - (.i64 (n.% (.nat divisor/0) (.nat dividend))) - (.i64 (/.% divisor/0 dividend)))) + (at i64.equivalence = + (.i64 (n.% (.nat divisor/0) (.nat dividend))) + (.i64 (/.% divisor/0 dividend)))) (_.coverage [/.up /.down] (let [symmetry! (|> dividend @@ -156,8 +156,8 @@ (/.= (/.reciprocal sample) (|> sample /.reciprocal .nat /.reciprocal .nat /.reciprocal)))) (do [! random.monad] - [expected (# ! each (|>> f.abs (f.% +1.0)) - random.safe_frac) + [expected (at ! each (|>> f.abs (f.% +1.0)) + random.safe_frac) sample random.rev] (_.coverage [/.frac] (and (|> expected f.rev /.frac (f.= expected)) |