diff options
| author | Eduardo Julian | 2019-06-20 22:32:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-06-20 22:32:59 -0400 |
| commit | b71b861008381626633bf28b033cd866d7e4e0b7 (patch) | |
| tree | 3ee21cd21e6dd80f6fcdf90173bbd6162b616d8f /stdlib/source/lux/control/contract.lux | |
| parent | fcee38da766a683ed5569978be153c6e7a8ae0af (diff) | |
Improved the convention for using text formatters.
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)))))))) |