From 880cb37c261df20b7b8d968a909557bbc63d6b7f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 8 Sep 2021 18:57:27 -0400 Subject: Normalized syntax of "exception:", "actor:" and "message:". --- licentia/source/program/licentia/input.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'licentia/source/program') diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index 96d19cf14..2ce3d9144 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -36,11 +36,11 @@ (.field "name" .string) (.field "version" .string)))) -(exception: .public (cannot_use_fractional_amount {amount Frac}) +(exception: .public (cannot_use_fractional_amount [amount Frac]) (exception.report ["Amount" (%.frac amount)])) -(exception: .public (cannot_use_negative_amount {amount Int}) +(exception: .public (cannot_use_negative_amount [amount Int]) (exception.report ["Amount" (%.int amount)])) @@ -56,7 +56,7 @@ (i.> +0 amountI))] (wrap (.nat amountI)))) -(exception: .public (invalid_period {period (Period Nat)}) +(exception: .public (invalid_period [period (Period Nat)]) (exception.report ["Start" (%.nat (value@ #time.start period))] ["End" (%.nat (value@ #time.end period))])) -- cgit v1.2.3