aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
authorEduardo Julian2022-06-26 02:57:13 -0400
committerEduardo Julian2022-06-26 02:57:13 -0400
commit716ca5377386ca87eded7dd514ccc17f8ed281c3 (patch)
tree30ecd03de0f32057d453ab2c342fd17f88732ae3 /licentia/source
parentcfdc546e6834ceeb78cb692d17fd5c60695be982 (diff)
De-sigil-ification: suffix : [Part 16]
Diffstat (limited to '')
-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))))