diff options
| author | Eduardo Julian | 2017-05-15 22:17:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-15 22:17:04 -0400 |
| commit | 8e5fb9f49396206982d27c108a4d12dcdd224a3b (patch) | |
| tree | 01f15e49d06f181009726ab58cf5232c221630eb | |
| parent | 5cf1b36e5f6bb93e5faec49bd37d2aa6cb1b7d91 (diff) | |
- Renamed %ast to %code.
| -rw-r--r-- | stdlib/source/lux/control/contract.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/lux/data/text/format.lux | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/control/contract.lux b/stdlib/source/lux/control/contract.lux index 941d4e1ef..ddeed5ca5 100644 --- a/stdlib/source/lux/control/contract.lux +++ b/stdlib/source/lux/control/contract.lux @@ -18,7 +18,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: " (%ast test)))) + (wrap (list (` (exec (assert! (~ (code;text (format "Pre-condition failed: " (%code test)))) (~ test)) (~ expr)))))) @@ -32,6 +32,6 @@ (do @ [g!output (macro;gensym "")] (wrap (list (` (let [(~ g!output) (~ expr)] - (exec (assert! (~ (code;text (format "Post-condition failed: " (%ast test)))) + (exec (assert! (~ (code;text (format "Post-condition failed: " (%code test)))) ((~ test) (~ g!output))) (~ g!output)))))))) diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux index 5e62382f0..5c40a2514 100644 --- a/stdlib/source/lux/data/text/format.lux +++ b/stdlib/source/lux/data/text/format.lux @@ -40,7 +40,7 @@ [%c Char (:: char;Codec<Text,Char> encode)] [%t Text (:: text;Codec<Text,Text> encode)] [%ident Ident (:: ident;Codec<Text,Ident> encode)] - [%ast Code code;to-text] + [%code Code code;to-text] [%type Type type;to-text] [%bin Nat (:: number;Binary@Codec<Text,Nat> encode)] [%oct Nat (:: number;Octal@Codec<Text,Nat> encode)] |