diff options
Diffstat (limited to 'lux-jvm/test/test/luxc/lang/translation/jvm.lux')
-rw-r--r-- | lux-jvm/test/test/luxc/lang/translation/jvm.lux | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/lux-jvm/test/test/luxc/lang/translation/jvm.lux b/lux-jvm/test/test/luxc/lang/translation/jvm.lux index 99af8d8c9..5aee41ce5 100644 --- a/lux-jvm/test/test/luxc/lang/translation/jvm.lux +++ b/lux-jvm/test/test/luxc/lang/translation/jvm.lux @@ -27,7 +27,7 @@ (context: "Conversions [Part 1]" (<| (times +100) (do @ - [int-sample (|> r.int (:: @ map (i/% 128))) + [int-sample (|> r.int (:: @ each (i/% 128))) #let [frac-sample (int-to-frac int-sample)]] (with-expansions [<2step> (template [<step1> <step2> <tag> <sample> <cast> <test>] [(test (format <step1> " / " <step2>) @@ -58,7 +58,7 @@ (context: "Conversions [Part 2]" (<| (times +100) (do @ - [int-sample (|> r.int (:: @ map (|>> (i/% 128) int/abs))) + [int-sample (|> r.int (:: @ each (|>> (i/% 128) int/abs))) #let [frac-sample (int-to-frac int-sample)]] (`` ($_ seq (~~ (template [<step1> <step2> <step3> <tag> <sample> <cast> <test>] @@ -85,7 +85,7 @@ (context: "Conversions [Part 3]" (<| (times +100) (do @ - [int-sample (|> r.int (:: @ map (|>> (i/% 128) int/abs))) + [int-sample (|> r.int (:: @ each (|>> (i/% 128) int/abs))) #let [frac-sample (int-to-frac int-sample)]] (`` ($_ seq (~~ (template [<step1> <step2> <step3> <step4> <tag> <sample> <cast> <test>] @@ -110,16 +110,16 @@ (def: gen-nat (r.Random Nat) (|> r.nat - (r/map (n/% +128)) + (r/each (n/% +128)) (r.filter (|>> (n/= +0) not)))) (def: gen-int (r.Random Int) - (|> gen-nat (r/map nat-to-int))) + (|> gen-nat (r/each nat-to-int))) (def: gen-frac (r.Random Frac) - (|> gen-int (r/map int-to-frac))) + (|> gen-int (r/each int-to-frac))) (template [<domain> <generator> <tag> <type> <test> <augmentation> <+> <-> <*> </> <%> <pre> <post>] [(context: (format "Arithmetic [" <domain> "]") @@ -277,8 +277,8 @@ (context: "Array [Part 1]" (<| (times +100) (do @ - [size (|> r.nat (:: @ map (|>> (n/% +10) (n/max +1)))) - idx (|> r.nat (:: @ map (n/% size))) + [size (|> r.nat (:: @ each (|>> (n/% +10) (n/max +1)))) + idx (|> r.nat (:: @ each (n/% size))) valueZ r.bit valueB gen-int valueS gen-int @@ -325,8 +325,8 @@ (context: "Array [Part 2]" (<| (times +100) (do @ - [size (|> r.nat (:: @ map (|>> (n/% +10) (n/max +1)))) - idx (|> r.nat (:: @ map (n/% size))) + [size (|> r.nat (:: @ each (|>> (n/% +10) (n/max +1)))) + idx (|> r.nat (:: @ each (n/% size))) valueZ r.bit valueB gen-int valueS gen-int @@ -401,10 +401,10 @@ (def: instances (List [Text (r.Random ls.Synthesis)]) - (let [gen-boolean (|> r.bit (:: r.Functor<Random> map code.bit)) - gen-integer (|> r.int (:: r.Functor<Random> map code.int)) - gen-double (|> r.frac (:: r.Functor<Random> map code.frac)) - gen-string (|> (r.text +5) (:: r.Functor<Random> map code.text))] + (let [gen-boolean (|> r.bit (:: r.Functor<Random> each code.bit)) + gen-integer (|> r.int (:: r.Functor<Random> each code.int)) + gen-double (|> r.frac (:: r.Functor<Random> each code.frac)) + gen-string (|> (r.text +5) (:: r.Functor<Random> each code.text))] (list ["java.lang.Boolean" gen-boolean] ["java.lang.Long" gen-integer] ["java.lang.Double" gen-double] @@ -419,8 +419,8 @@ (do @ [#let [num-classes (list.size classes)] #let [num-instances (list.size instances)] - class-idx (|> r.nat (:: @ map (n/% num-classes))) - instance-idx (|> r.nat (:: @ map (n/% num-instances))) + class-idx (|> r.nat (:: @ each (n/% num-classes))) + instance-idx (|> r.nat (:: @ each (n/% num-instances))) exception-message (r.text +5) #let [class (maybe.trusted (list.nth class-idx classes)) [instance-class instance-gen] (maybe.trusted (list.nth instance-idx instances)) @@ -512,7 +512,7 @@ (context: "Member [Field]" (<| (times +100) (do @ - [sample-short (|> r.int (:: @ map (|>> int/abs (i/% 100)))) + [sample-short (|> r.int (:: @ each (|>> int/abs (i/% 100)))) sample-string (r.text +5) other-sample-string (r.text +5) #let [shortS (` ["short" ("jvm object cast" "java.lang.Short" "short" @@ -581,7 +581,7 @@ (context: "Member [Method]" (<| (times +100) (do @ - [sample (|> r.int (:: @ map (|>> int/abs (i/% 100)))) + [sample (|> r.int (:: @ each (|>> int/abs (i/% 100)))) #let [object-longS (` ["java.lang.Object" (~ (code.int sample))]) intS (` ["int" ("jvm object cast" "java.lang.Integer" "int" ("jvm convert long-to-int" (~ (code.int sample))))]) |