diff options
Diffstat (limited to 'stdlib/source/test/lux/macro/template.lux')
| -rw-r--r-- | stdlib/source/test/lux/macro/template.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index 9f8b5af6c..8f68ff501 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -19,8 +19,8 @@ {1 ["." /]}) -(/.with [(!pow/2 <scalar>) - [(nat.* <scalar> <scalar>)]] +(/.let [(!pow/2 <scalar>) + [(nat.* <scalar> <scalar>)]] (def: pow/2 (-> Nat Nat) (|>> !pow/2))) @@ -82,16 +82,16 @@ (nat.= right var1))))) (do ! [scalar random.nat] - (_.cover [/.with] + (_.cover [/.let] (let [can_use_with_statements! (nat.= ($_ nat.* scalar scalar) (..pow/2 scalar))] (and can_use_with_statements! - (/.with [(pow/3 <scalar>) - [($_ nat.* <scalar> <scalar> <scalar>)] + (/.let [(pow/3 <scalar>) + [($_ nat.* <scalar> <scalar> <scalar>)] - (pow/9 <scalar>) - [(pow/3 (pow/3 <scalar>))]] + (pow/9 <scalar>) + [(pow/3 (pow/3 <scalar>))]] (let [can_use_with_expressions! (nat.= ($_ nat.* scalar scalar scalar) (pow/3 scalar)) @@ -113,8 +113,8 @@ can_shadow!))) )))) (_.cover [/.irregular_arguments] - (/.with [(arity/3 <0> <1> <2>) - [""]] + (/.let [(arity/3 <0> <1> <2>) + [""]] (exception.match? /.irregular_arguments (macro_error (arity/3 "a" "b"))))) ))) |