diff options
| author | Eduardo Julian | 2017-11-27 02:09:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-27 02:09:04 -0400 |
| commit | d6a7a133c5c4a734ab45e9497c8e5df749ce383a (patch) | |
| tree | 040b4df12dd3482fc0bb76f8e0a37126ef34fb34 /stdlib/source/lux/control/contract.lux | |
| parent | 6031fc715b4a16b008d6f288c38739d9bb066490 (diff) | |
- Changed the prefixes of numeric functions.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/contract.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/control/contract.lux b/stdlib/source/lux/control/contract.lux index cc3267715..3b072caa8 100644 --- a/stdlib/source/lux/control/contract.lux +++ b/stdlib/source/lux/control/contract.lux @@ -16,7 +16,7 @@ {#;doc (doc "Pre-conditions." "Given a test and an expression to run, only runs the expression if the test passes." "Otherwise, an error is raised." - (pre (i.= 4 (i.+ 2 2)) + (pre (i/= 4 (i/+ 2 2)) (foo 123 456 789)))} (wrap (list (` (exec (assert! (~ (code;text (format "Pre-condition failed: " (%code test)))) (~ test)) @@ -27,8 +27,8 @@ "Given a predicate and an expression to run, evaluates the expression and then tests the output with the predicate." "If the predicate returns true, returns the value of the expression." "Otherwise, an error is raised." - (post i.even? - (i.+ 2 2)))} + (post i/even? + (i/+ 2 2)))} (do @ [g!output (macro;gensym "")] (wrap (list (` (let [(~ g!output) (~ expr)] |