aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
authorEduardo Julian2022-03-15 22:45:49 -0400
committerEduardo Julian2022-03-15 22:45:49 -0400
commitb0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch)
tree26db4a468c2f75c64ba16e8b7dbf20f135d369fc /licentia/source
parentbc36487224f670c23002cc4575c0dba3e5dc1be1 (diff)
Leaner syntax for library/lux/control/exception.report
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 ee48bec92..23e8ab29e 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -38,11 +38,11 @@
(exception: .public (cannot_use_fractional_amount [amount Frac])
(exception.report
- ["Amount" (%.frac amount)]))
+ "Amount" (%.frac amount)))
(exception: .public (cannot_use_negative_amount [amount Int])
(exception.report
- ["Amount" (%.int amount)]))
+ "Amount" (%.int amount)))
(def: amount
(Parser Nat)
@@ -58,8 +58,8 @@
(exception: .public (invalid_period [period (Period Nat)])
(exception.report
- ["Start" (%.nat (the time.#start period))]
- ["End" (%.nat (the time.#end period))]))
+ "Start" (%.nat (the time.#start period))
+ "End" (%.nat (the time.#end period))))
(def: period
(Parser (Period Nat))