aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
authorEduardo Julian2021-09-08 18:57:27 -0400
committerEduardo Julian2021-09-08 18:57:27 -0400
commit880cb37c261df20b7b8d968a909557bbc63d6b7f (patch)
treeeb94b5572f3b03b855927c67e171b73ceb4db6c4 /licentia/source
parent9ae7272d50b64dc9c8651e7a684abc007d4f2caf (diff)
Normalized syntax of "exception:", "actor:" and "message:".
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia/input.lux6
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))]))