diff options
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/program/licentia/input.lux | 8 |
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)))) |