diff options
Diffstat (limited to 'stdlib/source/test/lux/ffi.jvm.lux')
-rw-r--r-- | stdlib/source/test/lux/ffi.jvm.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 2361c5625..a80a7f63b 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -88,13 +88,13 @@ (def for_conversions Test (do [! random.monad] - [long (at ! each (|>> /.as_long) random.int) - integer (at ! each (|>> /.as_int) random.int) - byte (at ! each (|>> /.as_byte) random.int) - short (at ! each (|>> /.as_short) random.int) + [long (of ! each (|>> /.as_long) random.int) + integer (of ! each (|>> /.as_int) random.int) + byte (of ! each (|>> /.as_byte) random.int) + short (of ! each (|>> /.as_short) random.int) float (|> random.frac (random.only (|>> f.not_a_number? not)) - (at ! each (|>> /.as_float)))] + (of ! each (|>> /.as_float)))] (`` (all _.and (,, (with_template [<sample> <=> <to> <from>] [(_.coverage [<to> <from>] @@ -123,9 +123,9 @@ (def for_arrays Test (do [! random.monad] - [size (|> random.nat (at ! each (|>> (n.% 100) (n.max 1)))) - idx (|> random.nat (at ! each (n.% size))) - value (at ! each (|>> /.as_long) random.int)] + [size (|> random.nat (of ! each (|>> (n.% 100) (n.max 1)))) + idx (|> random.nat (of ! each (n.% size))) + value (of ! each (|>> /.as_long) random.int)] (all _.and (_.coverage [/.array /.length] (|> size @@ -149,21 +149,21 @@ (def for_miscellaneous Test (`` (do [! random.monad] - [sample (at ! each (|>> (as java/lang/Object)) + [sample (of ! each (|>> (as java/lang/Object)) (random.ascii 1)) - boolean (at ! each (|>> /.as_boolean) random.bit) - byte (at ! each (|>> /.as_byte) random.int) - short (at ! each (|>> /.as_short) random.int) - integer (at ! each (|>> /.as_int) random.int) - long (at ! each (|>> /.as_long) random.int) + boolean (of ! each (|>> /.as_boolean) random.bit) + byte (of ! each (|>> /.as_byte) random.int) + short (of ! each (|>> /.as_short) random.int) + integer (of ! each (|>> /.as_int) random.int) + long (of ! each (|>> /.as_long) random.int) float (|> random.frac (random.only (|>> f.not_a_number? not)) - (at ! each (|>> /.as_float))) + (of ! each (|>> /.as_float))) double (|> random.frac (random.only (|>> f.not_a_number? not)) - (at ! each (|>> /.as_double))) - character (at ! each (|>> /.as_int /.int_to_char) random.int) - string (at ! each (|>> /.as_string) + (of ! each (|>> /.as_double))) + character (of ! each (|>> /.as_int /.int_to_char) random.int) + string (of ! each (|>> /.as_string) (random.ascii 1)) bit/0 random.bit] @@ -618,7 +618,7 @@ (/.of_long (test/TestInterface4::actual4 (/.as_long left) (/.as_long right) object_8))))] .let [random_long (is (Random java/lang/Long) - (at ! each (|>> /.as_long) + (of ! each (|>> /.as_long) random.int))] dummy/0 random_long dummy/1 random_long |