From d6a7a133c5c4a734ab45e9497c8e5df749ce383a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 27 Nov 2017 02:09:04 -0400
Subject: - Changed the prefixes of numeric functions.

---
 stdlib/source/lux/control/contract.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/lux/control/contract.lux')

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)]
-- 
cgit v1.2.3