From 716ca5377386ca87eded7dd514ccc17f8ed281c3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 26 Jun 2022 02:57:13 -0400
Subject: De-sigil-ification: suffix : [Part 16]
---
licentia/source/program/licentia/input.lux | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
(limited to 'licentia/source/program')
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))))
--
cgit v1.2.3