diff options
| author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
| commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
| tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /licentia/source | |
| parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) | |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'licentia/source')
| -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 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)) |