From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 15 Mar 2022 22:45:49 -0400 Subject: Leaner syntax for library/lux/control/exception.report --- licentia/source/program/licentia/input.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'licentia/source') diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index ee48bec92..23e8ab29e 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -38,11 +38,11 @@ (exception: .public (cannot_use_fractional_amount [amount Frac]) (exception.report - ["Amount" (%.frac amount)])) + "Amount" (%.frac amount))) (exception: .public (cannot_use_negative_amount [amount Int]) (exception.report - ["Amount" (%.int amount)])) + "Amount" (%.int amount))) (def: amount (Parser Nat) @@ -58,8 +58,8 @@ (exception: .public (invalid_period [period (Period Nat)]) (exception.report - ["Start" (%.nat (the time.#start period))] - ["End" (%.nat (the time.#end period))])) + "Start" (%.nat (the time.#start period)) + "End" (%.nat (the time.#end period)))) (def: period (Parser (Period Nat)) -- cgit v1.2.3