diff options
author | Eduardo Julian | 2021-09-08 18:57:27 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-08 18:57:27 -0400 |
commit | 880cb37c261df20b7b8d968a909557bbc63d6b7f (patch) | |
tree | eb94b5572f3b03b855927c67e171b73ceb4db6c4 /licentia/source/program | |
parent | 9ae7272d50b64dc9c8651e7a684abc007d4f2caf (diff) |
Normalized syntax of "exception:", "actor:" and "message:".
Diffstat (limited to 'licentia/source/program')
-rw-r--r-- | licentia/source/program/licentia/input.lux | 6 |
1 files changed, 3 insertions, 3 deletions
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 @@ (<json>.field "name" <json>.string) (<json>.field "version" <json>.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))])) |