diff options
Diffstat (limited to '')
-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 be11f3f6e..cb3398720 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -165,7 +165,7 @@ (/.invokestatic ..$Byte "valueOf" (/type.method [(list /type.byte) ..$Byte (list)]))) (def: $Byte::random (Random java/lang/Byte) - (:: random.monad map (|>> (:coerce java/lang/Long) host.long-to-byte) random.int)) + (\ random.monad map (|>> (:coerce java/lang/Long) host.long-to-byte) random.int)) (def: $Byte::literal (-> java/lang/Byte (Bytecode Any)) (|>> host.byte-to-long (:coerce I64) i32.i32 /.int)) @@ -183,7 +183,7 @@ (/.invokestatic ..$Short "valueOf" (/type.method [(list /type.short) ..$Short (list)]))) (def: $Short::random (Random java/lang/Short) - (:: random.monad map (|>> (:coerce java/lang/Long) host.long-to-short) random.int)) + (\ random.monad map (|>> (:coerce java/lang/Long) host.long-to-short) random.int)) (def: $Short::literal (-> java/lang/Short (Bytecode Any)) (|>> host.short-to-long (:coerce I64) i32.i32 /.int)) @@ -201,7 +201,7 @@ (/.invokestatic ..$Integer "valueOf" (/type.method [(list /type.int) ..$Integer (list)]))) (def: $Integer::random (Random java/lang/Integer) - (:: random.monad map (|>> (:coerce java/lang/Long) host.long-to-int) random.int)) + (\ random.monad map (|>> (:coerce java/lang/Long) host.long-to-int) random.int)) (def: $Integer::literal (-> java/lang/Integer (Bytecode Any)) (|>> host.int-to-long (:coerce I64) i32.i32 /.int)) @@ -229,9 +229,9 @@ (def: $Float::wrap (/.invokestatic ..$Float "valueOf" (/type.method [(list /type.float) ..$Float (list)]))) (def: $Float::random (Random java/lang/Float) - (:: random.monad map - (|>> (:coerce java/lang/Double) host.double-to-float) - random.frac)) + (\ random.monad map + (|>> (:coerce java/lang/Double) host.double-to-float) + random.frac)) (def: $Float::literal /.float) (def: valid-float (Random java/lang/Float) @@ -269,7 +269,7 @@ (/.invokestatic ..$Character "valueOf" (/type.method [(list /type.char) ..$Character (list)]))) (def: $Character::random (Random java/lang/Character) - (:: random.monad map (|>> (:coerce java/lang/Long) host.long-to-int host.int-to-char) random.int)) + (\ random.monad map (|>> (:coerce java/lang/Long) host.long-to-int host.int-to-char) random.int)) (def: $Character::literal (-> java/lang/Character (Bytecode Any)) (|>> host.char-to-long (:coerce I64) i32.i32 /.int)) @@ -304,7 +304,7 @@ [(def: <name> Test (do {! random.monad} - [expected (:: ! map (i64.and (i64.mask <bits>)) random.nat)] + [expected (\ ! map (i64.and (i64.mask <bits>)) random.nat)] (<| (_.lift <message>) (..bytecode (for {@.old (|>> (:coerce <type>) <to-long> ("jvm leq" expected)) @@ -382,7 +382,7 @@ shift (: (-> (-> java/lang/Integer java/lang/Integer java/lang/Integer) (Bytecode Any) (Random Bit)) (function (_ reference instruction) (do {! random.monad} - [parameter (:: ! map (|>> (n.% 32) .int (:coerce java/lang/Long) host.long-to-int) random.nat) + [parameter (\ ! map (|>> (n.% 32) .int (:coerce java/lang/Long) host.long-to-int) random.nat) subject ..$Integer::random] (int (reference parameter subject) (do /.monad @@ -461,7 +461,7 @@ shift (: (-> (-> java/lang/Integer java/lang/Long java/lang/Long) (Bytecode Any) (Random Bit)) (function (_ reference instruction) (do {! random.monad} - [parameter (:: ! map (|>> (n.% 64) (:coerce java/lang/Long)) random.nat) + [parameter (\ ! map (|>> (n.% 64) (:coerce java/lang/Long)) random.nat) subject ..$Long::random] (long (reference (host.long-to-int parameter) subject) (do /.monad @@ -942,7 +942,7 @@ Test)) (function (_ constructor random literal [*store *load *wrap] test) (do {! random.monad} - [size (:: ! map (|>> (n.% 1024) (n.max 1)) random.nat) + [size (\ ! map (|>> (n.% 1024) (n.max 1)) random.nat) value random] ($_ _.and (<| (_.lift "length") @@ -1014,8 +1014,8 @@ (function (_ expected) (|>> (:coerce Text) (text\= (:coerce Text expected)))))) (<| (_.context "multi") (do {! random.monad} - [#let [size (:: ! map (|>> (n.% 5) (n.+ 1)) - random.nat)] + [#let [size (\ ! map (|>> (n.% 5) (n.+ 1)) + random.nat)] dimensions size sizesH size sizesT (random.list (dec dimensions) size) @@ -1127,7 +1127,7 @@ (function (_ random-value literal *wrap [store load] test) (do {! random.monad} [expected random-value - register (:: ! map (n.% 128) random.nat)] + register (\ ! map (n.% 128) random.nat)] (<| (..bytecode (test expected)) (do /.monad [_ (literal expected) @@ -1151,8 +1151,8 @@ (_.lift "IINC" (do {! random.monad} [base ..$Byte::random - increment (:: ! map (|>> (n.% 100) /unsigned.u1 try.assume) - random.nat) + increment (\ ! map (|>> (n.% 100) /unsigned.u1 try.assume) + random.nat) #let [expected (: java/lang/Long (for {@.old ("jvm ladd" @@ -1475,9 +1475,9 @@ (do {! random.monad} [expected ..$Long::random dummy ..$Long::random - minimum (:: ! map (|>> (n.% 100) .int /signed.s4 try.assume) - random.nat) - afterwards (:: ! map (n.% 10) random.nat)]) + minimum (\ ! map (|>> (n.% 100) .int /signed.s4 try.assume) + random.nat) + afterwards (\ ! map (n.% 10) random.nat)]) (..bytecode ((!::= java/lang/Long "jvm leq" "jvm long =") expected)) (do /.monad [@right /.new-label @@ -1494,13 +1494,13 @@ ..$Long::wrap)) (<| (_.lift "LOOKUPSWITCH") (do {! random.monad} - [options (:: ! map (|>> (n.% 10) (n.+ 1)) - random.nat) - choice (:: ! map (n.% options) random.nat) + [options (\ ! map (|>> (n.% 10) (n.+ 1)) + random.nat) + choice (\ ! map (n.% options) random.nat) options (|> random.int - (:: ! map (|>> (:coerce java/lang/Long) host.long-to-int host.int-to-long (:coerce Int))) + (\ ! map (|>> (:coerce java/lang/Long) host.long-to-int host.int-to-long (:coerce Int))) (random.set i.hash options) - (:: ! map set.to-list)) + (\ ! map set.to-list)) #let [choice (maybe.assume (list.nth choice options))] expected ..$Long::random dummy ..$Long::random]) |