aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/debug.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/debug.lux')
-rw-r--r--stdlib/source/test/lux/debug.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index bfa275ce7..1d88519e0 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -57,7 +57,7 @@
sample_text (random.upper_case 10)
sample_nat random.nat
sample_rev random.rev]
- (in (`` (and (~~ (template [<type> <format> <sample>]
+ (in (`` (and (~~ (with_template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try#each (text#= (<format> <sample>)))
(try.else false))]
@@ -88,7 +88,7 @@
{try.#Failure error}
false)
... TODO: Uncomment after switching from the old (tag+last?) to the new (lefts+right?) representation for variants
- ... (~~ (template [<lefts> <right?> <value> <format>]
+ ... (~~ (with_template [<lefts> <right?> <value> <format>]
... [(|> (/.representation (type (Or Bit Int Frac))
... (is (Or Bit Int Frac)
... (<lefts> <right?> <value>)))
@@ -113,7 +113,7 @@
sample_code $//code.random
sample_xml $//xml.random
sample_json $//json.random]
- (in (`` (and (~~ (template [<type> <format> <sample>]
+ (in (`` (and (~~ (with_template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try#each (text#= (<format> <sample>)))
(try.else false))]
@@ -136,7 +136,7 @@
sample_month random.month
sample_time random.time
sample_day random.day]
- (in (`` (and (~~ (template [<type> <format> <sample>]
+ (in (`` (and (~~ (with_template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try#each (text#= (<format> <sample>)))
(try.else false))]
@@ -174,7 +174,7 @@
(|> (/.representation (type (List Nat)) (is (List Nat) (list sample_nat)))
(try#each (text#= (%.list %.nat (list sample_nat))))
(try.else false))
- (~~ (template [<sample>]
+ (~~ (with_template [<sample>]
[(|> (/.representation (type (Maybe Nat)) (is (Maybe Nat) <sample>))
(try#each (text#= (%.maybe %.nat <sample>)))
(try.else false))]
@@ -200,7 +200,7 @@
sample_frac random.frac
sample_text (random.upper_case 10)]
(_.coverage [/.inspection]
- (`` (and (~~ (template [<format> <sample>]
+ (`` (and (~~ (with_template [<format> <sample>]
[(text#= (<format> <sample>) (/.inspection <sample>))]
[%.bit sample_bit]