diff options
| author | Eduardo Julian | 2019-07-25 00:45:51 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-25 00:45:51 -0400 |
| commit | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (patch) | |
| tree | c318b6dc47a20dfabf51c9d920fa8e8fd7cdd6f1 /stdlib/source/program | |
| parent | 6425e4cfe470b54d76bb316cbdb6fdb21dd63130 (diff) | |
No more "i/"-prefixed functions.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/licentia/input.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/licentia/input.lux b/stdlib/source/program/licentia/input.lux index 6d64515cf..0fb4b5f84 100644 --- a/stdlib/source/program/licentia/input.lux +++ b/stdlib/source/program/licentia/input.lux @@ -10,7 +10,7 @@ [format ["." json (#+ Reader)]] [number - ["." int] + ["i" int] ["f" frac]]]] [// [license (#+ Identification @@ -45,9 +45,9 @@ #let [amountI (f.int amountF)] _ (parser.assert (ex.construct cannot-use-fractional-amount amountF) (f.= amountF - (int.frac amountI))) + (i.frac amountI))) _ (parser.assert (ex.construct cannot-use-negative-amount amountI) - (i/> +0 amountI))] + (i.> +0 amountI))] (wrap (.nat amountI)))) (exception: #export (invalid-period {period (Period Nat)}) |