diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/math/number/ratio.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index b81cc91c6..74c9a9ca7 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -79,7 +79,7 @@ (maybe.else false)) with_denominator! - (case (/.nat (/.ratio numerator denominator)) + (when (/.nat (/.ratio numerator denominator)) {.#Some factor} (and (n.= 0 (n.% denominator numerator)) (n.= numerator (n.* factor denominator))) @@ -111,7 +111,7 @@ div (|> right (/.- rem) (/./ left))] (and (/.= right (|> div (/.* left) (/.+ rem))) - (case (/.nat div) + (when (/.nat div) {.#Some _} true {.#None} false))))) (do random.monad |