diff options
Diffstat (limited to 'licentia/source')
| -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))])) |