mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
16518d811d
This is required for tests to pass with newer versions of QuickCheck. Signed-off-by: hololeap <hololeap@protonmail.com> Signed-off-by: Sam James <sam@gentoo.org>
43 lines
1.2 KiB
Diff
43 lines
1.2 KiB
Diff
From df8dd8e8e84005aa6b187b03cd502f3c6e18cf3c Mon Sep 17 00:00:00 2001
|
|
From: Bodigrim <andrew.lelechenko@gmail.com>
|
|
Date: Sun, 4 Jun 2023 17:55:28 +0100
|
|
Bug: https://github.com/haskell/vector/pull/461
|
|
Signed-off-by: hololeap <hololeap@protonmail.com>
|
|
Subject: [PATCH] Fix instance TestData Float/Double
|
|
|
|
---
|
|
vector/tests/Utilities.hs | 18 ++++++++++++++++--
|
|
1 file changed, 16 insertions(+), 2 deletions(-)
|
|
|
|
diff --git a/vector/tests/Utilities.hs b/vector/tests/Utilities.hs
|
|
index 24799554..ae19d425 100644
|
|
--- a/tests/Utilities.hs
|
|
+++ b/tests/Utilities.hs
|
|
@@ -121,10 +121,24 @@ instance TestData ty where { \
|
|
id_TestData(())
|
|
id_TestData(Bool)
|
|
id_TestData(Int)
|
|
-id_TestData(Float)
|
|
-id_TestData(Double)
|
|
id_TestData(Ordering)
|
|
|
|
+instance TestData Float where
|
|
+ type Model Float = Float
|
|
+ model = id
|
|
+ unmodel = id
|
|
+
|
|
+ type EqTest Float = Property
|
|
+ equal x y = property (x == y || (isNaN x && isNaN y))
|
|
+
|
|
+instance TestData Double where
|
|
+ type Model Double = Double
|
|
+ model = id
|
|
+ unmodel = id
|
|
+
|
|
+ type EqTest Double = Property
|
|
+ equal x y = property (x == y || (isNaN x && isNaN y))
|
|
+
|
|
bimapEither :: (a -> b) -> (c -> d) -> Either a c -> Either b d
|
|
bimapEither f _ (Left a) = Left (f a)
|
|
bimapEither _ g (Right c) = Right (g c)
|