aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia/input.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index 11af6acf6..437675acd 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -4,7 +4,7 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" exception (.only exception:)]
+ ["[0]" exception (.only exception)]
["<>" parser]]
[data
[text
@@ -38,11 +38,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)))
@@ -58,7 +58,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 (the time.#start period))
"End" (%.nat (the time.#end period))))