diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/debug.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index bbbf299d8..c55928c15 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -56,7 +56,7 @@ sample_nat random.nat sample_rev random.rev] (wrap (`` (and (~~ (template [<type> <format> <sample>] - [(|> (/.represent <type> <sample>) + [(|> (/.representation <type> <sample>) (try\map (text\= (<format> <sample>))) (try.default false))] @@ -74,8 +74,8 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac] - (wrap (`` (and (case (/.represent (type [Bit Int Frac]) - [sample_bit sample_int sample_frac]) + (wrap (`` (and (case (/.representation (type [Bit Int Frac]) + [sample_bit sample_int sample_frac]) (#try.Success actual) (text\= (format "[" (%.bit sample_bit) " " (%.int sample_int) @@ -87,7 +87,7 @@ false) ## TODO: Uncomment after switching from the old (tag+last?) to the new (lefts+right?) representation for variants ## (~~ (template [<lefts> <right?> <value> <format>] - ## [(|> (/.represent (type (| Bit Int Frac)) + ## [(|> (/.representation (type (| Bit Int Frac)) ## (: (| Bit Int Frac) ## (<lefts> <right?> <value>))) ## (try\map (text\= (format "(" (%.nat <lefts>) @@ -112,7 +112,7 @@ sample_xml $//xml.random sample_json $//json.random] (wrap (`` (and (~~ (template [<type> <format> <sample>] - [(|> (/.represent <type> <sample>) + [(|> (/.representation <type> <sample>) (try\map (text\= (<format> <sample>))) (try.default false))] @@ -135,7 +135,7 @@ sample_time random.time sample_day random.day] (wrap (`` (and (~~ (template [<type> <format> <sample>] - [(|> (/.represent <type> <sample>) + [(|> (/.representation <type> <sample>) (try\map (text\= (<format> <sample>))) (try.default false))] @@ -160,20 +160,20 @@ can_represent_complex_types! ..can_represent_complex_types can_represent_time_types! ..can_represent_time_types] ($_ _.and - (_.cover [/.represent] + (_.cover [/.representation] (`` (and can_represent_simple_types! can_represent_structure_types! can_represent_complex_types! can_represent_time_types! - (|> (/.represent .Any sample_frac) + (|> (/.representation .Any sample_frac) (try\map (text\= "[]")) (try.default false)) - (|> (/.represent (type (List Nat)) (: (List Nat) (list sample_nat))) + (|> (/.representation (type (List Nat)) (: (List Nat) (list sample_nat))) (try\map (text\= (%.list %.nat (list sample_nat)))) (try.default false)) (~~ (template [<sample>] - [(|> (/.represent (type (Maybe Nat)) (: (Maybe Nat) <sample>)) + [(|> (/.representation (type (Maybe Nat)) (: (Maybe Nat) <sample>)) (try\map (text\= (%.maybe %.nat <sample>))) (try.default false))] @@ -182,7 +182,7 @@ )) ))) (_.cover [/.cannot_represent_value] - (case (/.represent (-> Nat Nat) (|>>)) + (case (/.representation (-> Nat Nat) (|>>)) (#try.Success representation) false @@ -197,9 +197,9 @@ sample_int random.int sample_frac random.frac sample_text (random.ascii/upper 10)] - (_.cover [/.inspect] + (_.cover [/.inspection] (`` (and (~~ (template [<format> <sample>] - [(text\= (<format> <sample>) (/.inspect <sample>))] + [(text\= (<format> <sample>) (/.inspection <sample>))] [%.bit sample_bit] [%.int sample_int] @@ -208,10 +208,10 @@ )) (text\= (|> (list sample_bit sample_int sample_frac sample_text) (: (List Any)) - (list\map /.inspect) + (list\map /.inspection) (text.join_with " ") (text.enclose ["[" "]"])) - (/.inspect [sample_bit sample_int sample_frac sample_text])) + (/.inspection [sample_bit sample_int sample_frac sample_text])) ))))) (syntax: (macro_error macro) @@ -256,7 +256,7 @@ (_.cover [/.private] (exec (: (/.private /.Inspector) - /.inspect) + /.inspection) true)) (_.cover [/.log!] (exec |