diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/target/js.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/target/js.lux | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/lux/meta/target/js.lux b/stdlib/source/test/lux/meta/target/js.lux index eef7a43d3..2ad2b03ad 100644 --- a/stdlib/source/test/lux/meta/target/js.lux +++ b/stdlib/source/test/lux/meta/target/js.lux @@ -57,7 +57,7 @@ (Random Int) (do [! random.monad] [negative? random.bit - mantissa (at ! each (|>> (i64.and (static.nat (-- (i64.left_shifted (-- <range>) 1)))) + mantissa (of ! each (|>> (i64.and (static.nat (-- (i64.left_shifted (-- <range>) 1)))) .int) random.nat)] (in (if negative? @@ -159,7 +159,7 @@ i32 ..int_32 i16 ..int_16 - shift (at ! each (n.% 16) random.nat)] + shift (of ! each (n.% 16) random.nat)] (`` (all _.and (,, (with_template [<js> <lux>] [(_.coverage [<js>] @@ -207,8 +207,8 @@ (def test|array Test (do [! random.monad] - [size (at ! each (|>> (n.% 10) ++) random.nat) - index (at ! each (n.% size) random.nat) + [size (of ! each (|>> (n.% 10) ++) random.nat) + index (of ! each (n.% size) random.nat) items (random.list size random.safe_frac) .let [expected (|> items (list.item index) @@ -232,8 +232,8 @@ dummy (random.only (|>> (text#= field) not) (random.upper_cased 5)) - size (at ! each (|>> (n.% 10) ++) random.nat) - index (at ! each (n.% size) random.nat) + size (of ! each (|>> (n.% 10) ++) random.nat) + index (of ! each (n.% size) random.nat) items (random.list size random.safe_frac)] (all _.and (_.coverage [/.object /.the] @@ -358,7 +358,7 @@ (do [! random.monad] [number/0 random.safe_frac int/0 ..int_16 - $foreign (at ! each /.var (random.lower_cased 10)) + $foreign (of ! each /.var (random.lower_cased 10)) field (random.upper_cased 10)] (all _.and (_.coverage [/.set] @@ -449,12 +449,12 @@ (do [! random.monad] [input ..int_16 - full_inner_iterations (at ! each (|>> (n.% 20) ++) random.nat) - expected_inner_iterations (at ! each (n.% full_inner_iterations) random.nat) + full_inner_iterations (of ! each (|>> (n.% 20) ++) random.nat) + expected_inner_iterations (of ! each (n.% full_inner_iterations) random.nat) - @outer (at ! each /.label (random.upper_cased 5)) - full_outer_iterations (at ! each (|>> (n.% 10) ++) random.nat) - expected_outer_iterations (at ! each (n.% full_outer_iterations) random.nat) + @outer (of ! each /.label (random.upper_cased 5)) + full_outer_iterations (of ! each (|>> (n.% 10) ++) random.nat) + expected_outer_iterations (of ! each (n.% full_outer_iterations) random.nat) .let [$input (/.var "input") $output (/.var "output") @@ -555,7 +555,7 @@ Test (do [! random.monad] [input ..int_16 - iterations (at ! each (n.% 10) random.nat) + iterations (of ! each (n.% 10) random.nat) .let [$input (/.var "input") $output (/.var "output") $index (/.var "index") @@ -609,7 +609,7 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $ex (at ! each /.var (random.lower_cased 10))] + $ex (of ! each /.var (random.lower_cased 10))] (all _.and (_.coverage [/.try] (expression (|>> (as Frac) (f.= expected)) @@ -633,9 +633,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_cased 10)) - $arg/1 (at ! each /.var (random.lower_cased 11)) - $arg/2 (at ! each /.var (random.lower_cased 12))] + $arg/0 (of ! each /.var (random.lower_cased 10)) + $arg/1 (of ! each /.var (random.lower_cased 11)) + $arg/2 (of ! each /.var (random.lower_cased 12))] (`` (all _.and (_.coverage [/.apply_1] (expression (|>> (as Frac) (f.= number/0)) @@ -664,11 +664,11 @@ Test (do [! random.monad] [number/0 random.safe_frac - iterations (at ! each (n.% 10) random.nat) - $self (at ! each /.var (random.lower_cased 1)) - $arg/0 (at ! each /.var (random.lower_cased 2)) + iterations (of ! each (n.% 10) random.nat) + $self (of ! each /.var (random.lower_cased 1)) + $arg/0 (of ! each /.var (random.lower_cased 2)) field (random.lower_cased 3) - $class (at ! each /.var (random.upper_cased 4))] + $class (of ! each /.var (random.upper_cased 4))] (all _.and (_.coverage [/.closure /.return] (expression (|>> (as Frac) (f.= number/0)) @@ -770,9 +770,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_cased 10)) - $arg/1 (at ! each /.var (random.lower_cased 11)) - $arg/2 (at ! each /.var (random.lower_cased 12)) + $arg/0 (of ! each /.var (random.lower_cased 10)) + $arg/1 (of ! each /.var (random.lower_cased 11)) + $arg/2 (of ! each /.var (random.lower_cased 12)) ??? random.bit int ..int_16] (`` (all _.and |