diff options
author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/lux/data/number/rev.lux | |
parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff) |
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/number/rev.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/data/number/rev.lux b/stdlib/source/lux/data/number/rev.lux index 6345cf02d..a52be16a4 100644 --- a/stdlib/source/lux/data/number/rev.lux +++ b/stdlib/source/lux/data/number/rev.lux @@ -199,7 +199,7 @@ [(structure: #export <name> (Monoid Rev) - (def: identity (:: interval <identity>)) + (def: identity (\ interval <identity>)) (def: compose <compose>))] [addition ..+ bottom] @@ -217,7 +217,7 @@ (Codec Text Rev) (def: (encode value) - (let [raw-output (:: <codec> encode (:coerce Nat value)) + (let [raw-output (\ <codec> encode (:coerce Nat value)) max-num-chars (//nat.+ (//nat./ <char-bit-size> 64) (case (//nat.% <char-bit-size> 64) 0 0 @@ -238,7 +238,7 @@ (if (//nat.> 1 repr-size) (case ("lux text char" 0 repr) (^ (char ".")) - (case (:: <codec> decode (de-prefix repr)) + (case (\ <codec> decode (de-prefix repr)) (#try.Success output) (#try.Success (:coerce Rev output)) @@ -319,7 +319,7 @@ (recur (dec idx) #0 ("lux text concat" - (:: //nat.decimal encode digit) + (\ //nat.decimal encode digit) output)))) (if all-zeroes? "0" |