aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/contract.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-11-15 23:22:30 -0400
committerEduardo Julian2017-11-15 23:22:30 -0400
commit190b512a822fefbb9c66271feb189cc6ccebaf85 (patch)
tree6d317f54649be741c67e03c71a8b6006b83f00ec /stdlib/source/lux/control/contract.lux
parentf11c10f72d003555d76c9803954e2bd8b347362d (diff)
- Re-named "lux/meta" to to "lux/macro".
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/control/contract.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/control/contract.lux b/stdlib/source/lux/control/contract.lux
index 5ff6309ec..cc3267715 100644
--- a/stdlib/source/lux/control/contract.lux
+++ b/stdlib/source/lux/control/contract.lux
@@ -2,9 +2,9 @@
lux
(lux (control monad)
(data text/format)
- [meta]
- (meta [code]
- ["s" syntax #+ syntax:])))
+ [macro]
+ (macro [code]
+ ["s" syntax #+ syntax:])))
(def: #export (assert! message test)
(-> Text Bool [])
@@ -30,7 +30,7 @@
(post i.even?
(i.+ 2 2)))}
(do @
- [g!output (meta;gensym "")]
+ [g!output (macro;gensym "")]
(wrap (list (` (let [(~ g!output) (~ expr)]
(exec (assert! (~ (code;text (format "Post-condition failed: " (%code test))))
((~ test) (~ g!output)))