diff options
Diffstat (limited to 'stdlib/source/library/lux/math/number')
-rw-r--r-- | stdlib/source/library/lux/math/number/frac.lux | 6 | ||||
-rw-r--r-- | stdlib/source/library/lux/math/number/int.lux | 8 | ||||
-rw-r--r-- | stdlib/source/library/lux/math/number/nat.lux | 4 |
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux index a11b95741..05811c9cc 100644 --- a/stdlib/source/library/lux/math/number/frac.lux +++ b/stdlib/source/library/lux/math/number/frac.lux @@ -718,13 +718,13 @@ (case [(is Nat (..exponent it)) (is Nat (..mantissa it)) (is Nat (..sign it))] - [(static ..special_exponent_bits) 0 0] + [..special_exponent_bits 0 0] ..positive_infinity - [(static ..special_exponent_bits) 0 1] + [..special_exponent_bits 0 1] ..negative_infinity - [(static ..special_exponent_bits) _ _] + [..special_exponent_bits _ _] ..not_a_number ... Positive zero diff --git a/stdlib/source/library/lux/math/number/int.lux b/stdlib/source/library/lux/math/number/int.lux index d5a563dd5..2dfb5e7b8 100644 --- a/stdlib/source/library/lux/math/number/int.lux +++ b/stdlib/source/library/lux/math/number/int.lux @@ -32,7 +32,7 @@ (def .public (<= reference sample) (-> Int Int Bit) (if ("lux i64 <" reference sample) - #1 + true ("lux i64 =" reference sample))) (def .public (> reference sample) @@ -42,7 +42,7 @@ (def .public (>= reference sample) (-> Int Int Bit) (if ("lux i64 <" sample reference) - #1 + true ("lux i64 =" reference sample))) (with_template [<comparison> <name>] @@ -222,13 +222,13 @@ (let [input_size ("lux text size" repr)] (if (//nat.> 1 input_size) (case ("lux text clip" 0 1 repr) - (static ..+sign) + ..+sign (|> repr ("lux text clip" 1 (-- input_size)) (at <codec> decoded) (at try.functor each (|>> .int))) - (static ..-sign) + ..-sign (|> repr ("lux text clip" 1 (-- input_size)) (at <codec> decoded) diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux index c502f4d96..cef20dca2 100644 --- a/stdlib/source/library/lux/math/number/nat.lux +++ b/stdlib/source/library/lux/math/number/nat.lux @@ -38,12 +38,12 @@ (let [referenceH (..high reference) sampleH (..high sample)] (if ("lux i64 <" referenceH sampleH) - #1 + true (if ("lux i64 =" referenceH sampleH) ("lux i64 <" (..low reference) (..low sample)) - #0)))) + false)))) (def .public (<= reference sample) (-> Nat Nat Bit) |