diff options
Diffstat (limited to 'stdlib/source/test/lux/target/jvm.lux')
| -rw-r--r-- | stdlib/source/test/lux/target/jvm.lux | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index c2c1e49f3..9f93ee4e1 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -184,7 +184,7 @@ (/.invokestatic ..$Byte "valueOf" (/type.method [(list) (list /type.byte) ..$Byte (list)]))) (def: $Byte::random (Random java/lang/Byte) - (# random.monad each (|>> (as java/lang/Long) ffi.long_to_byte) random.int)) + (at random.monad each (|>> (as java/lang/Long) ffi.long_to_byte) random.int)) (def: $Byte::literal (-> java/lang/Byte (Bytecode Any)) (|>> ffi.byte_to_long (as I64) i32.i32 /.int)) @@ -202,7 +202,7 @@ (/.invokestatic ..$Short "valueOf" (/type.method [(list) (list /type.short) ..$Short (list)]))) (def: $Short::random (Random java/lang/Short) - (# random.monad each (|>> (as java/lang/Long) ffi.long_to_short) random.int)) + (at random.monad each (|>> (as java/lang/Long) ffi.long_to_short) random.int)) (def: $Short::literal (-> java/lang/Short (Bytecode Any)) (|>> ffi.short_to_long (as I64) i32.i32 /.int)) @@ -220,7 +220,7 @@ (/.invokestatic ..$Integer "valueOf" (/type.method [(list) (list /type.int) ..$Integer (list)]))) (def: $Integer::random (Random java/lang/Integer) - (# random.monad each (|>> (as java/lang/Long) ffi.long_to_int) random.int)) + (at random.monad each (|>> (as java/lang/Long) ffi.long_to_int) random.int)) (def: $Integer::literal (-> java/lang/Integer (Bytecode Any)) (|>> ffi.int_to_long (as I64) i32.i32 /.int)) @@ -248,9 +248,9 @@ (def: $Float::wrap (/.invokestatic ..$Float "valueOf" (/type.method [(list) (list /type.float) ..$Float (list)]))) (def: $Float::random (Random java/lang/Float) - (# random.monad each - (|>> (as java/lang/Double) ffi.double_to_float) - random.frac)) + (at random.monad each + (|>> (as java/lang/Double) ffi.double_to_float) + random.frac)) (def: $Float::literal /.float) (def: valid_float (Random java/lang/Float) @@ -288,7 +288,7 @@ (/.invokestatic ..$Character "valueOf" (/type.method [(list) (list /type.char) ..$Character (list)]))) (def: $Character::random (Random java/lang/Character) - (# random.monad each (|>> (as java/lang/Long) ffi.long_to_int ffi.int_to_char) random.int)) + (at random.monad each (|>> (as java/lang/Long) ffi.long_to_int ffi.int_to_char) random.int)) (def: $Character::literal (-> java/lang/Character (Bytecode Any)) (|>> ffi.char_to_long (as I64) i32.i32 /.int)) @@ -323,7 +323,7 @@ [(def: <name> Test (do [! random.monad] - [expected (# ! each (i64.and (i64.mask <bits>)) random.nat)] + [expected (at ! each (i64.and (i64.mask <bits>)) random.nat)] (<| (_.lifted <message>) (..bytecode (for @.old (|>> (as <type>) <to_long> ("jvm leq" expected)) @@ -402,7 +402,7 @@ shift (is (-> (-> java/lang/Integer java/lang/Integer java/lang/Integer) (Bytecode Any) (Random Bit)) (function (_ reference instruction) (do [! random.monad] - [parameter (# ! each (|>> (n.% 32) .int (as java/lang/Long) ffi.long_to_int) random.nat) + [parameter (at ! each (|>> (n.% 32) .int (as java/lang/Long) ffi.long_to_int) random.nat) subject ..$Integer::random] (int (reference parameter subject) (do /.monad @@ -481,7 +481,7 @@ shift (is (-> (-> java/lang/Integer java/lang/Long java/lang/Long) (Bytecode Any) (Random Bit)) (function (_ reference instruction) (do [! random.monad] - [parameter (# ! each (|>> (n.% 64) (as java/lang/Long)) random.nat) + [parameter (at ! each (|>> (n.% 64) (as java/lang/Long)) random.nat) subject ..$Long::random] (long (reference (ffi.long_to_int parameter) subject) (do /.monad @@ -963,7 +963,7 @@ Test)) (function (_ constructor random literal [*store *load *wrap] test) (do [! random.monad] - [size (# ! each (|>> (n.% 1024) (n.max 1)) random.nat) + [size (at ! each (|>> (n.% 1024) (n.max 1)) random.nat) value random] (all _.and (<| (_.lifted "length") @@ -1035,8 +1035,8 @@ (function (_ expected) (|>> (as Text) (text#= (as Text expected)))))) (<| (_.context "multi") (do [! random.monad] - [.let [size (# ! each (|>> (n.% 5) (n.+ 1)) - random.nat)] + [.let [size (at ! each (|>> (n.% 5) (n.+ 1)) + random.nat)] dimensions size sizesH size sizesT (random.list (-- dimensions) size) @@ -1148,7 +1148,7 @@ (function (_ random_value literal *wrap [store load] test) (do [! random.monad] [expected random_value - register (# ! each (n.% 128) random.nat)] + register (at ! each (n.% 128) random.nat)] (<| (..bytecode (test expected)) (do /.monad [_ (literal expected) @@ -1172,8 +1172,8 @@ (_.lifted "IINC" (do [! random.monad] [base ..$Byte::random - increment (# ! each (|>> (n.% 100) /unsigned.u1 try.trusted) - random.nat) + increment (at ! each (|>> (n.% 100) /unsigned.u1 try.trusted) + random.nat) .let [expected (is java/lang/Long (for @.old ("jvm ladd" @@ -1497,9 +1497,9 @@ (do [! random.monad] [expected ..$Long::random dummy ..$Long::random - minimum (# ! each (|>> (n.% 100) .int /signed.s4 try.trusted) - random.nat) - afterwards (# ! each (n.% 10) random.nat)]) + minimum (at ! each (|>> (n.% 100) .int /signed.s4 try.trusted) + random.nat) + afterwards (at ! each (n.% 10) random.nat)]) (..bytecode ((!::= java/lang/Long "jvm leq" "jvm long =") expected)) (do /.monad [@right /.new_label @@ -1516,13 +1516,13 @@ ..$Long::wrap)) (<| (_.lifted "LOOKUPSWITCH") (do [! random.monad] - [options (# ! each (|>> (n.% 10) (n.+ 1)) - random.nat) - choice (# ! each (n.% options) random.nat) + [options (at ! each (|>> (n.% 10) (n.+ 1)) + random.nat) + choice (at ! each (n.% options) random.nat) options (|> random.int - (# ! each (|>> (as java/lang/Long) ffi.long_to_int ffi.int_to_long (as Int))) + (at ! each (|>> (as java/lang/Long) ffi.long_to_int ffi.int_to_long (as Int))) (random.set i.hash options) - (# ! each set.list)) + (at ! each set.list)) .let [choice (maybe.trusted (list.item choice options))] expected ..$Long::random dummy ..$Long::random]) |