git.iko.soy/text
on master help sign in
Add a (failing) QuickCheck test for formatRealFloat (gh-105)
789c63fBryan O'Sullivan
tests/Tests/Properties.hs+13−2
compare with master
unifiedsplit
@@ -24,7 +24,7 @@ import Data.Text.Internal.Search (indices)
24import Data.Text.Lazy.Read as TL
24import Data.Text.Lazy.Read as TL
25import Data.Text.Read as T
25import Data.Text.Read as T
26import Data.Word (Word, Word8, Word16, Word32, Word64)
26import Data.Word (Word, Word8, Word16, Word32, Word64)
27−import Numeric (showHex)
27+import Numeric (showGFloat, showHex)
28import Prelude hiding (replicate)
28import Prelude hiding (replicate)
29import Test.Framework (Test, testGroup)
29import Test.Framework (Test, testGroup)
30import Test.Framework.Providers.QuickCheck2 (testProperty)
30import Test.Framework.Providers.QuickCheck2 (testProperty)
@@ -779,6 +779,15 @@ tb_realfloat = (TB.toLazyText . TB.realFloat) `eq` (TL.pack . show)
779tb_realfloat_float (a::Float) = tb_realfloat a
779tb_realfloat_float (a::Float) = tb_realfloat a
780tb_realfloat_double (a::Double) = tb_realfloat a
780tb_realfloat_double (a::Double) = tb_realfloat a
781
781
782+tb_formatRealFloat_G :: (RealFloat a, Show a) => a -> Precision a -> Property
783+tb_formatRealFloat_G a prec =
784+ TB.formatRealFloat TB.Generic p a ===
785+ TB.fromString (showGFloat p a "")
786+ where p = precision a prec
787+
788+tb_formatRealFloat_G_float (a::Float) = tb_formatRealFloat_G a
789+tb_formatRealFloat_G_double (a::Double) = tb_formatRealFloat_G a
790+
782-- Reading.
791-- Reading.
783
792
784t_decimal (n::Int) s =
793t_decimal (n::Int) s =
@@ -1284,7 +1293,9 @@ tests =
1284 ],
1293 ],
1285 testGroup "realfloat" [
1294 testGroup "realfloat" [
1286 testProperty "tb_realfloat_double" tb_realfloat_double,
1295 testProperty "tb_realfloat_double" tb_realfloat_double,
1287− testProperty "tb_realfloat_float" tb_realfloat_float
1296+ testProperty "tb_realfloat_float" tb_realfloat_float,
1297+ testProperty "tb_formatRealFloat_G_float" tb_formatRealFloat_G_float,
1298+ testProperty "tb_formatRealFloat_G_double" tb_formatRealFloat_G_double
1288 ],
1299 ],
1289 testProperty "tb_fromText" tb_fromText,
1300 testProperty "tb_fromText" tb_fromText,
1290 testProperty "tb_singleton" tb_singleton
1301 testProperty "tb_singleton" tb_singleton
tests/Tests/QuickCheckUtils.hs+24
@@ -17,6 +17,9 @@ module Tests.QuickCheckUtils
17 , Small (..)
17 , Small (..)
18 , small
18 , small
19
19
20+ , Precision(..)
21+ , precision
22+
20 , integralRandomR
23 , integralRandomR
21
24
22 , DecodeErr (..)
25 , DecodeErr (..)
@@ -263,6 +266,27 @@ eqP f g s w = eql "orig" (f s) (g t) &&
263 | a =^= b = True
266 | a =^= b = True
264 | otherwise = trace (d ++ ": " ++ show a ++ " /= " ++ show b) False
267 | otherwise = trace (d ++ ": " ++ show a ++ " /= " ++ show b) False
265
268
269+newtype Precision a = Precision (Maybe Int)
270+ deriving (Eq, Show)
271+
272+precision :: a -> Precision a -> Maybe Int
273+precision _ (Precision prec) = prec
274+
275+arbitraryPrecision :: Int -> Gen (Precision a)
276+arbitraryPrecision maxDigits = Precision <$> do
277+ n <- choose (-1,maxDigits)
278+ return $ if n == -1
279+ then Nothing
280+ else Just n
281+
282+instance Arbitrary (Precision Float) where
283+ arbitrary = arbitraryPrecision 11
284+ shrink = map Precision . shrink . precision undefined
285+
286+instance Arbitrary (Precision Double) where
287+ arbitrary = arbitraryPrecision 22
288+ shrink = map Precision . shrink . precision undefined
289+
266-- Work around lack of Show instance for TextEncoding.
290-- Work around lack of Show instance for TextEncoding.
267data Encoding = E String IO.TextEncoding
291data Encoding = E String IO.TextEncoding
268
292