aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/number/frac.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/math/number/frac.lux')
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 7b11df2cb..cb8d4abaa 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -175,15 +175,15 @@
(and (/.= div (/./ left right))
(/.= rem (/.% left right)))))
(_.cover [/.mod]
- (and (/.= (/.signum left)
- (/.signum (/.mod left right)))
- (/.= (/.signum right)
- (/.signum (/.% left right)))
- (if (/.= (/.signum left) (/.signum right))
- (/.= (/.% left right)
- (/.mod left right))
- (or (and (/.= +0.0 (/.% left right))
- (/.= +0.0 (/.mod left right)))
+ (or (and (/.= +0.0 (/.% left right))
+ (/.= +0.0 (/.mod left right)))
+ (and (/.= (/.signum left)
+ (/.signum (/.mod left right)))
+ (/.= (/.signum right)
+ (/.signum (/.% left right)))
+ (if (/.= (/.signum left) (/.signum right))
+ (/.= (/.% left right)
+ (/.mod left right))
(/.= (/.+ left (/.% left right))
(/.mod left right))))))
))