git.iko.soy/text
on master help sign in
Move =^= to TestUtils
6f25efdJasper Van der Jeugt
tests/tests/src/Data/Text/Tests/Properties.hs−15
compare with master
unifiedsplit
@@ -50,21 +50,6 @@ import Data.Text.Tests.QuickCheckUtils
50import Data.Text.Tests.TestUtils
50import Data.Text.Tests.TestUtils
51import qualified Data.Text.Tests.SlowFunctions as Slow
51import qualified Data.Text.Tests.SlowFunctions as Slow
52
52
53−-- Ensure that two potentially bottom values (in the sense of crashing
54−-- for some inputs, not looping infinitely) either both crash, or both
55−-- give comparable results for some input.
56−(=^=) :: (Eq a, Show a) => a -> a -> Bool
57−{-# NOINLINE (=^=) #-}
58−i =^= j = unsafePerformIO $ do
59− x <- try (evaluate i)
60− y <- try (evaluate j)
61− case (x,y) of
62− (Left (_ :: SomeException), Left (_ :: SomeException))
63− -> return True
64− (Right a, Right b) -> return (a == b)
65− e -> trace ("*** Divergence: " ++ show e) return False
66−infix 4 =^=
67−
68t_pack_unpack = (T.unpack . T.pack) `eq` id
53t_pack_unpack = (T.unpack . T.pack) `eq` id
69tl_pack_unpack = (TL.unpack . TL.pack) `eq` id
54tl_pack_unpack = (TL.unpack . TL.pack) `eq` id
70t_stream_unstream = (S.unstream . S.stream) `eq` id
55t_stream_unstream = (S.unstream . S.stream) `eq` id
tests/tests/src/Data/Text/Tests/TestUtils.hs+24−3
@@ -1,14 +1,35 @@
1+-- | Miscellaneous testing utilities
2+--
3+{-# LANGUAGE ScopedTypeVariables #-}
1module Data.Text.Tests.TestUtils
4module Data.Text.Tests.TestUtils
2 (
5 (
6+ (=^=)
3− withRedirect
7+ , withRedirect
4 , withTempFile
8 , withTempFile
5 ) where
9 ) where
6
10
7−import Control.Exception (bracket, bracket_)
11+import Control.Exception (SomeException, bracket, bracket_, evaluate, try)
8import Control.Monad (when)
12import Control.Monad (when)
13+import Debug.Trace (trace)
9import GHC.IO.Handle.Internals (withHandle)
14import GHC.IO.Handle.Internals (withHandle)
10import System.Directory (removeFile)
15import System.Directory (removeFile)
11−import System.IO
16+import System.IO (Handle, hClose, hFlush, hIsOpen, hIsWritable, openTempFile)
17+import System.IO.Unsafe (unsafePerformIO)
18+
19+-- Ensure that two potentially bottom values (in the sense of crashing
20+-- for some inputs, not looping infinitely) either both crash, or both
21+-- give comparable results for some input.
22+(=^=) :: (Eq a, Show a) => a -> a -> Bool
23+i =^= j = unsafePerformIO $ do
24+ x <- try (evaluate i)
25+ y <- try (evaluate j)
26+ case (x,y) of
27+ (Left (_ :: SomeException), Left (_ :: SomeException))
28+ -> return True
29+ (Right a, Right b) -> return (a == b)
30+ e -> trace ("*** Divergence: " ++ show e) return False
31+infix 4 =^=
32+{-# NOINLINE (=^=) #-}
12
33
13withTempFile :: (FilePath -> Handle -> IO a) -> IO a
34withTempFile :: (FilePath -> Handle -> IO a) -> IO a
14withTempFile = bracket (openTempFile "." "crashy.txt") cleanupTemp . uncurry
35withTempFile = bracket (openTempFile "." "crashy.txt") cleanupTemp . uncurry