diff options
| author | Eduardo Julian | 2018-07-28 13:36:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-28 13:36:49 -0400 |
| commit | dff8878c13610ae8d1207aaabefbecc88cd3911f (patch) | |
| tree | 11f78712c9f1cafd8be3ec67c5bcb1c738c115be /stdlib/source/lux/data/number/ratio.lux | |
| parent | b14102eaa2a80f51f160ba293ec01928dbe683c3 (diff) | |
Temporary commit to get rid of "+" signs for Nat.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/number/ratio.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux index 0562dec72..b072a808a 100644 --- a/stdlib/source/lux/data/number/ratio.lux +++ b/stdlib/source/lux/data/number/ratio.lux @@ -123,14 +123,14 @@ #denominator numerator}) (def: abs id) (def: (signum x) - {#numerator +1 - #denominator +1})) + {#numerator |1 + #denominator |1})) (def: separator Text ":") (def: part-encode (-> Nat Text) - (|>> nat/encode (text.split +1) maybe.assume product.right)) + (|>> nat/encode (text.split |1) maybe.assume product.right)) (def: part-decode (-> Text (E.Error Nat)) @@ -158,5 +158,5 @@ "The denominator can be omitted if it's 1." (ratio numerator))} (wrap (list (` ((~! normalize) {#..numerator (~ numerator) - #..denominator (~ (maybe.default (' +1) + #..denominator (~ (maybe.default (' |1) ?denominator))}))))) |