From 8e5fb9f49396206982d27c108a4d12dcdd224a3b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 15 May 2017 22:17:04 -0400 Subject: - Renamed %ast to %code. --- stdlib/source/lux/control/contract.lux | 4 ++-- stdlib/source/lux/data/text/format.lux | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'stdlib/source') 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 encode)] [%t Text (:: text;Codec encode)] [%ident Ident (:: ident;Codec encode)] - [%ast Code code;to-text] + [%code Code code;to-text] [%type Type type;to-text] [%bin Nat (:: number;Binary@Codec encode)] [%oct Nat (:: number;Octal@Codec encode)] -- cgit v1.2.3