From b71b861008381626633bf28b033cd866d7e4e0b7 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 20 Jun 2019 22:32:59 -0400 Subject: Improved the convention for using text formatters. --- stdlib/source/program/licentia/input.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/program/licentia/input.lux') diff --git a/stdlib/source/program/licentia/input.lux b/stdlib/source/program/licentia/input.lux index a10452f5b..7af7c33d4 100644 --- a/stdlib/source/program/licentia/input.lux +++ b/stdlib/source/program/licentia/input.lux @@ -6,7 +6,7 @@ ["." parser]] [data [text - format] + ["%" format (#+ format)]] [format ["." json (#+ Reader)]]]] [// @@ -30,10 +30,10 @@ (json.field "version" json.string)))) (exception: #export (cannot-use-fractional-amount {amount Frac}) - (ex.report ["Amount" (%f amount)])) + (ex.report ["Amount" (%.frac amount)])) (exception: #export (cannot-use-negative-amount {amount Int}) - (ex.report ["Amount" (%i amount)])) + (ex.report ["Amount" (%.int amount)])) (def: amount (Reader Nat) @@ -48,8 +48,8 @@ (wrap (.nat amountI)))) (exception: #export (invalid-period {period (Period Nat)}) - (ex.report ["Start" (%n (get@ #time.start period))] - ["End" (%n (get@ #time.end period))])) + (ex.report ["Start" (%.nat (get@ #time.start period))] + ["End" (%.nat (get@ #time.end period))])) (def: period (Reader (Period Nat)) -- cgit v1.2.3