aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/control/contract.lux4
-rw-r--r--stdlib/source/lux/data/text/format.lux2
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)]