diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/extension.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index 9079d5336..0716e76d1 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -64,7 +64,7 @@ (def: dummy_generation "dummy generation") -(template [<name>] +(with_template [<name>] [(def: <name> Text (`` (%.symbol (symbol (~~ (template.symbol [.._ <name>]))))))] @@ -187,7 +187,7 @@ (do random.monad [expected random.nat] (`` (all _.and - (~~ (template [<macro> <extension>] + (~~ (with_template [<macro> <extension>] [(_.coverage [<macro>] (for @.old false (n.= expected |