diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/debug.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index d912904ec..4a229b335 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -6,15 +6,15 @@ [abstract [monad {"+" [do]}]] [control - ["[0]" try ("[1]\[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" code]]] [data - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["[0]" list ("[1]\[0]" functor)]] + ["[0]" list ("[1]#[0]" functor)]] [format [json {"+" [JSON]}] [xml {"+" [XML]}]]] @@ -59,7 +59,7 @@ sample_rev random.rev] (in (`` (and (~~ (template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) - (try\each (text\= (<format> <sample>))) + (try#each (text#= (<format> <sample>))) (try.else false))] [Bit %.bit sample_bit] @@ -79,7 +79,7 @@ (in (`` (and (case (/.representation (type [Bit Int Frac]) [sample_bit sample_int sample_frac]) {try.#Success actual} - (text\= (format "[" (%.bit sample_bit) + (text#= (format "[" (%.bit sample_bit) " " (%.int sample_int) " " (%.frac sample_frac) "]") @@ -92,7 +92,7 @@ ... [(|> (/.representation (type (Or Bit Int Frac)) ... (: (Or Bit Int Frac) ... (<lefts> <right?> <value>))) - ... (try\each (text\= (format "(" (%.nat <lefts>) + ... (try#each (text#= (format "(" (%.nat <lefts>) ... " " (%.bit <right?>) ... " " (<format> <value>) ")"))) ... (try.else false))] @@ -115,7 +115,7 @@ sample_json $//json.random] (in (`` (and (~~ (template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) - (try\each (text\= (<format> <sample>))) + (try#each (text#= (<format> <sample>))) (try.else false))] [Ratio %.ratio sample_ratio] @@ -138,7 +138,7 @@ sample_day random.day] (in (`` (and (~~ (template [<type> <format> <sample>] [(|> (/.representation <type> <sample>) - (try\each (text\= (<format> <sample>))) + (try#each (text#= (<format> <sample>))) (try.else false))] [Instant %.instant sample_instant] @@ -169,14 +169,14 @@ can_represent_time_types! (|> (/.representation .Any sample_frac) - (try\each (text\= "[]")) + (try#each (text#= "[]")) (try.else false)) (|> (/.representation (type (List Nat)) (: (List Nat) (list sample_nat))) - (try\each (text\= (%.list %.nat (list sample_nat)))) + (try#each (text#= (%.list %.nat (list sample_nat)))) (try.else false)) (~~ (template [<sample>] [(|> (/.representation (type (Maybe Nat)) (: (Maybe Nat) <sample>)) - (try\each (text\= (%.maybe %.nat <sample>))) + (try#each (text#= (%.maybe %.nat <sample>))) (try.else false))] [{.#Some sample_nat}] @@ -201,16 +201,16 @@ sample_text (random.ascii/upper 10)] (_.cover [/.inspection] (`` (and (~~ (template [<format> <sample>] - [(text\= (<format> <sample>) (/.inspection <sample>))] + [(text#= (<format> <sample>) (/.inspection <sample>))] [%.bit sample_bit] [%.int sample_int] [%.frac sample_frac] [%.text sample_text] )) - (text\= (|> (list sample_bit sample_int sample_frac sample_text) + (text#= (|> (list sample_bit sample_int sample_frac sample_text) (: (List Any)) - (list\each /.inspection) + (list#each /.inspection) (text.interposed " ") (text.enclosed ["[" "]"])) (/.inspection [sample_bit sample_int sample_frac sample_text])) |