diff options
Diffstat (limited to 'lux-jvm/test/test/luxc/lang/translation')
-rw-r--r-- | lux-jvm/test/test/luxc/lang/translation/js.lux | 12 | ||||
-rw-r--r-- | lux-jvm/test/test/luxc/lang/translation/jvm.lux | 36 |
2 files changed, 24 insertions, 24 deletions
diff --git a/lux-jvm/test/test/luxc/lang/translation/js.lux b/lux-jvm/test/test/luxc/lang/translation/js.lux index 83108c594..db4d5a205 100644 --- a/lux-jvm/test/test/luxc/lang/translation/js.lux +++ b/lux-jvm/test/test/luxc/lang/translation/js.lux @@ -17,7 +17,7 @@ (def: upper-alpha-ascii (r.Random Nat) - (|> r.nat (:: r.Functor<Random> map (|>> (n/% +91) (n/max +65))))) + (|> r.nat (:: r.Functor<Random> each (|>> (n/% +91) (n/max +65))))) (def: (test-primitive-identity synthesis) (-> Synthesis Bit) @@ -65,7 +65,7 @@ (context: "[JS] Objects." (<| (times +100) (do @ - [field (:: @ map code.text (r.text' upper-alpha-ascii +5)) + [field (:: @ each code.text (r.text' upper-alpha-ascii +5)) value r.int #let [empty-object (` ("js object")) object (` ("js object set" (~ field) (~ (code.int value)) (~ empty-object))) @@ -112,12 +112,12 @@ (context: "[JS] Arrays." (<| (times +100) (do @ - [length (|> r.nat (:: @ map (|>> (n/% +10) (n/max +1)))) - idx (|> r.nat (:: @ map (n/% length))) + [length (|> r.nat (:: @ each (|>> (n/% +10) (n/max +1)))) + idx (|> r.nat (:: @ each (n/% length))) overwrite r.nat elems (|> (r.set number.Hash<Nat> length r.nat) - (:: @ map set.to-list)) - #let [arrayS (` ("js array literal" (~+ (list/map code.nat elems))))]] + (:: @ each set.to-list)) + #let [arrayS (` ("js array literal" (~+ (list/each code.nat elems))))]] ($_ seq (test "Can get the length of an array." (|> (run-js (` ("js array length" (~ arrayS)))) 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))))]) |