diff options
| author | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
| commit | 716ca5377386ca87eded7dd514ccc17f8ed281c3 (patch) | |
| tree | 30ecd03de0f32057d453ab2c342fd17f88732ae3 /licentia/source | |
| parent | cfdc546e6834ceeb78cb692d17fd5c60695be982 (diff) | |
De-sigil-ification: suffix : [Part 16]
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)))) |