diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/target/python.lux | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 35fbf47c8..3dd88db55 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -157,8 +157,8 @@ [left random.int right random.int - i16 (# ! each ..int_16 random.int) - shift (# ! each (n.% 16) random.nat)] + i16 (at ! each ..int_16 random.int) + shift (at ! each (n.% 16) random.nat)] (`` (all _.and (~~ (template [</> <lux>] [(_.coverage [</>] @@ -209,7 +209,7 @@ (def: test|text Test (do [! random.monad] - [expected_code (# ! each (n.% 128) random.nat) + [expected_code (at ! each (n.% 128) random.nat) .let [expected_char (text.of_char expected_code)]] (all _.and (_.coverage [/.chr/1 /.ord/1 @@ -227,14 +227,14 @@ (def: test|array Test (do [! random.monad] - [size (# ! each (|>> (n.% 10) ++) random.nat) - index (# ! each (n.% size) random.nat) + [size (at ! each (|>> (n.% 10) ++) random.nat) + index (at ! each (n.% size) random.nat) items (random.list size random.safe_frac) .let [expected (|> items (list.item index) (maybe.else f.not_a_number))] - from (# ! each (n.% size) random.nat) - plus (# ! each (n.% (n.- from size)) random.nat) + from (at ! each (n.% size) random.nat) + plus (at ! each (n.% (n.- from size)) random.nat) .let [slice_from|size (n.- from size) to (/.int (.int (n.+ plus from))) from (/.int (.int from))]] @@ -293,8 +293,8 @@ string (random.upper_case 5) comment (random.upper_case 10) - $arg/0 (# ! each /.var (random.lower_case 10)) - $arg/1 (# ! each /.var (random.lower_case 11))] + $arg/0 (at ! each /.var (random.lower_case 10)) + $arg/1 (at ! each /.var (random.lower_case 11))] (all _.and ..test|bool ..test|float @@ -337,9 +337,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.var (random.lower_case 10)) - $arg/1 (# ! each /.var (random.lower_case 11)) - $arg/2 (# ! each /.var (random.lower_case 12))] + $arg/0 (at ! each /.var (random.lower_case 10)) + $arg/1 (at ! each /.var (random.lower_case 11)) + $arg/2 (at ! each /.var (random.lower_case 12))] (all _.and (_.coverage [/.lambda] (expression (|>> (as Frac) (f.= float/0)) @@ -358,7 +358,7 @@ (do [! random.monad] [expected/0 random.safe_frac expected/1 random.safe_frac - poly_choice (# ! each (n.% 2) random.nat) + poly_choice (at ! each (n.% 2) random.nat) .let [keyword (|>> %.nat (format "k") /.string) keyword/0 (keyword 0) keyword/1 (keyword 1) @@ -366,8 +366,8 @@ .let [expected/? (case poly_choice 0 expected/0 _ expected/1)] - $var (# ! each (|>> %.nat (format "v") /.var) random.nat) - $choice (# ! each (|>> %.nat (format "c") /.var) random.nat)] + $var (at ! each (|>> %.nat (format "v") /.var) random.nat) + $choice (at ! each (|>> %.nat (format "c") /.var) random.nat)] (all _.and (_.coverage [/.Single /.SVar /.var] (expression (|>> (as Frac) (f.= expected/0)) @@ -445,10 +445,10 @@ (def: test|access Test (do [! random.monad] - [$var/0 (# ! each (|>> %.nat (format "v0_") /.var) random.nat) + [$var/0 (at ! each (|>> %.nat (format "v0_") /.var) random.nat) expected/0 random.safe_frac dummy/0 random.safe_frac - field (# ! each /.string (random.upper_case 1))] + field (at ! each /.string (random.upper_case 1))] (all _.and (_.coverage [/.item] (`` (and (~~ (template [<seq>] @@ -483,13 +483,13 @@ (def: test|location Test (do [! random.monad] - [$var/0 (# ! each (|>> %.nat (format "v0_") /.var) random.nat) - $var/1 (# ! each (|>> %.nat (format "v1_") /.var) random.nat) - $def (# ! each (|>> %.nat (format "def_") /.var) random.nat) + [$var/0 (at ! each (|>> %.nat (format "v0_") /.var) random.nat) + $var/1 (at ! each (|>> %.nat (format "v1_") /.var) random.nat) + $def (at ! each (|>> %.nat (format "def_") /.var) random.nat) expected/0 random.safe_frac expected/1 random.safe_frac dummy/0 random.safe_frac - field/0 (# ! each /.string (random.upper_case 1))] + field/0 (at ! each /.string (random.upper_case 1))] (all _.and (_.coverage [/.set] (|> (..statement @@ -598,7 +598,7 @@ expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $ex (# ! each (|>> %.nat (format "ex_") /.var) random.nat)] + $ex (at ! each (|>> %.nat (format "ex_") /.var) random.nat)] (all _.and (_.coverage [/.raise /.Exception/1] (case (try (..statement @@ -640,12 +640,12 @@ (def: test|loop Test (do [! random.monad] - [base (# ! each (n.% 100) random.nat) - factor (# ! each (|>> (n.% 10) ++) random.nat) - extra (# ! each (|>> (n.% 10) ++) random.nat) + [base (at ! each (n.% 100) random.nat) + factor (at ! each (|>> (n.% 10) ++) random.nat) + extra (at ! each (|>> (n.% 10) ++) random.nat) .let [expected (n.* factor base)] - $iteration (# ! each (|>> %.nat (format "iteration_") /.var) random.nat) - $temp (# ! each (|>> %.nat (format "temp_") /.var) random.nat)] + $iteration (at ! each (|>> %.nat (format "iteration_") /.var) random.nat) + $temp (at ! each (|>> %.nat (format "temp_") /.var) random.nat)] (all _.and (_.coverage [/.while] (and (|> (..statement @@ -745,8 +745,8 @@ (def: test|statement Test (do [! random.monad] - [$def (# ! each (|>> %.nat (format "def_") /.var) random.nat) - $input/0 (# ! each (|>> %.nat (format "input_") /.var) random.nat) + [$def (at ! each (|>> %.nat (format "def_") /.var) random.nat) + $input/0 (at ! each (|>> %.nat (format "input_") /.var) random.nat) expected/0 random.safe_frac test random.bit then random.safe_frac |