aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/rev.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/math/number/rev.lux')
-rw-r--r--stdlib/source/library/lux/math/number/rev.lux28
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux
index a652d3913..9228d6a65 100644
--- a/stdlib/source/library/lux/math/number/rev.lux
+++ b/stdlib/source/library/lux/math/number/rev.lux
@@ -225,7 +225,7 @@
("lux text clip" 1 (-- ("lux text size" input)) input))
(template [<struct> <codec> <char_bit_size> <error>]
- [(with_expansions [<error_output> (as_is {#try.Failure ("lux text concat" <error> repr)})]
+ [(with_expansions [<error_output> (as_is {try.#Failure ("lux text concat" <error> repr)})]
(implementation: .public <struct>
(Codec Text Rev)
@@ -253,8 +253,8 @@
(case ("lux text char" 0 repr)
(^ (char "."))
(case (\ <codec> decoded (..decimals repr))
- {#try.Success output}
- {#try.Success (.rev output)}
+ {try.#Success output}
+ {try.#Success (.rev output)}
_
<error_output>)
@@ -357,18 +357,18 @@
(-> Text (Maybe Digits))
(let [length ("lux text size" input)]
(if (//nat.> //i64.width length)
- #.None
+ {.#None}
(loop [idx 0
output (..digits [])]
(if (//nat.< length idx)
(case ("lux text index" 0 ("lux text clip" idx 1 input) "0123456789")
- #.None
- #.None
+ {.#None}
+ {.#None}
- {#.Some digit}
+ {.#Some digit}
(recur (++ idx)
(digits\put! idx digit output)))
- {#.Some output})))))
+ {.#Some output})))))
(def: (digits\< param subject)
(-> Digits Digits Bit)
@@ -425,7 +425,7 @@
(def: (decoded input)
(let [dotted? (case ("lux text index" 0 "." input)
- {#.Some 0}
+ {.#Some 0}
true
_
@@ -435,7 +435,7 @@
(//nat.<= (++ //i64.width)))]
(if (and dotted? within_limits?)
(case (|> input ..decimals ..text_digits)
- {#.Some digits}
+ {.#Some digits}
(loop [digits digits
idx 0
output 0]
@@ -447,9 +447,9 @@
(recur (digits\-! power digits)
(++ idx)
(//i64.one (//nat.- idx (-- //i64.width)) output))))
- {#try.Success (.rev output)}))
+ {try.#Success (.rev output)}))
- #.None
- {#try.Failure ("lux text concat" "Wrong syntax for Rev: " input)})
- {#try.Failure ("lux text concat" "Wrong syntax for Rev: " input)}))
+ {.#None}
+ {try.#Failure ("lux text concat" "Wrong syntax for Rev: " input)})
+ {try.#Failure ("lux text concat" "Wrong syntax for Rev: " input)}))
))