diff options
Diffstat (limited to 'stdlib/source/lux/control/contract.lux')
| -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 4e5e70317..4c402de24 100644 --- a/stdlib/source/lux/control/contract.lux +++ b/stdlib/source/lux/control/contract.lux @@ -7,7 +7,7 @@ ["s" code]]] [data [text - format]] + ["%" format (#+ format)]]] [macro (#+ with-gensyms) ["." code] [syntax (#+ syntax:)]]]) @@ -24,7 +24,7 @@ "Otherwise, an error is raised." (pre (i/= +4 (i/+ +2 +2)) (foo +123 +456 +789)))} - (wrap (list (` (exec (assert! (~ (code.text (format "Pre-condition failed: " (%code test)))) + (wrap (list (` (exec (assert! (~ (code.text (format "Pre-condition failed: " (%.code test)))) (~ test)) (~ expr)))))) @@ -37,6 +37,6 @@ (i/+ +2 +2)))} (with-gensyms [g!output] (wrap (list (` (let [(~ g!output) (~ expr)] - (exec (assert! (~ (code.text (format "Post-condition failed: " (%code test)))) + (exec (assert! (~ (code.text (format "Post-condition failed: " (%.code test)))) ((~ test) (~ g!output))) (~ g!output)))))))) |