diff options
Diffstat (limited to 'stdlib/source/test/lux/debug.lux')
| -rw-r--r-- | stdlib/source/test/lux/debug.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 245f5bdba..cda9456f2 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -56,7 +56,7 @@ sample_text (random.upper_case 10) sample_nat random.nat sample_rev random.rev] - (in (`` (and (~~ (with_template [<type> <format> <sample>] + (in (`` (and (,, (with_template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) (try#each (text#= (<format> <sample>))) (try.else false))] @@ -87,7 +87,7 @@ {try.#Failure error} false) ... TODO: Uncomment after switching from the old (tag+last?) to the new (lefts+right?) representation for variants - ... (~~ (with_template [<lefts> <right?> <value> <format>] + ... (,, (with_template [<lefts> <right?> <value> <format>] ... [(|> (/.representation (type_literal (Or Bit Int Frac)) ... (is (Or Bit Int Frac) ... (<lefts> <right?> <value>))) @@ -112,7 +112,7 @@ sample_code $//code.random sample_xml $//xml.random sample_json $//json.random] - (in (`` (and (~~ (with_template [<type> <format> <sample>] + (in (`` (and (,, (with_template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) (try#each (text#= (<format> <sample>))) (try.else false))] @@ -135,7 +135,7 @@ sample_month random.month sample_time random.time sample_day random.day] - (in (`` (and (~~ (with_template [<type> <format> <sample>] + (in (`` (and (,, (with_template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) (try#each (text#= (<format> <sample>))) (try.else false))] @@ -173,7 +173,7 @@ (|> (/.representation (type_literal (List Nat)) (is (List Nat) (list sample_nat))) (try#each (text#= (%.list %.nat (list sample_nat)))) (try.else false)) - (~~ (with_template [<sample>] + (,, (with_template [<sample>] [(|> (/.representation (type_literal (Maybe Nat)) (is (Maybe Nat) <sample>)) (try#each (text#= (%.maybe %.nat <sample>))) (try.else false))] @@ -199,7 +199,7 @@ sample_frac random.frac sample_text (random.upper_case 10)] (_.coverage [/.inspection] - (`` (and (~~ (with_template [<format> <sample>] + (`` (and (,, (with_template [<format> <sample>] [(text#= (<format> <sample>) (/.inspection <sample>))] [%.bit sample_bit] @@ -245,8 +245,8 @@ bar random.nat baz random.bit] (_.coverage [/.here] - (with_expansions [<no_parameters> (for @.js (~~ (these)) - (~~ (these (/.here))))] + (with_expansions [<no_parameters> (for @.js (,, (these)) + (,, (these (/.here))))] (`` (exec <no_parameters> (/.here foo |