on master help sign in
Small whitespace tweaks
329a0dbBryan O'Sullivan
tests/Tests/Properties.hs+5−5
@@ -1,9 +1,8 @@
1−-- | General quicktest properties for the text library
1+-- | QuickCheck properties for the text library.
2−--
2+
3{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
3{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
4 ScopedTypeVariables, TypeSynonymInstances #-}
4 ScopedTypeVariables, TypeSynonymInstances #-}
5−{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
5+{-# OPTIONS_GHC -fno-enable-rewrite-rules -fno-warn-missing-signatures #-}
6−{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
7module Tests.Properties
6module Tests.Properties
8 (
7 (
9 tests
8 tests
@@ -784,7 +783,8 @@ showFloat TB.Exponent = showEFloat
784showFloat TB.Fixed = showFFloat
783showFloat TB.Fixed = showFFloat
785showFloat TB.Generic = showGFloat
784showFloat TB.Generic = showGFloat
786
785
787−tb_formatRealFloat :: (RealFloat a, Show a) => a -> TB.FPFormat -> Precision a -> Property
786+tb_formatRealFloat :: (RealFloat a, Show a) =>
787+ a -> TB.FPFormat -> Precision a -> Property
788tb_formatRealFloat a fmt prec =
788tb_formatRealFloat a fmt prec =
789 TB.formatRealFloat fmt p a ===
789 TB.formatRealFloat fmt p a ===
790 TB.fromString (showFloat fmt p a "")
790 TB.fromString (showFloat fmt p a "")
tests/Tests/QuickCheckUtils.hs+6−6
@@ -12,9 +12,9 @@ module Tests.QuickCheckUtils
12
12
13 , BigBounded(..)
13 , BigBounded(..)
14 , BigInt(..)
14 , BigInt(..)
15− , NotEmpty (..)
15+ , NotEmpty(..)
16
16
17− , Small (..)
17+ , Small(..)
18 , small
18 , small
19
19
20 , Precision(..)
20 , Precision(..)
@@ -22,14 +22,14 @@ module Tests.QuickCheckUtils
22
22
23 , integralRandomR
23 , integralRandomR
24
24
25− , DecodeErr (..)
25+ , DecodeErr(..)
26 , genDecodeErr
26 , genDecodeErr
27
27
28− , Stringy (..)
28+ , Stringy(..)
29 , eq
29 , eq
30 , eqP
30 , eqP
31
31
32− , Encoding (..)
32+ , Encoding(..)
33
33
34 , write_read
34 , write_read
35 ) where
35 ) where
@@ -43,7 +43,7 @@ import Data.Text.Foreign (I16)
43import Data.Text.Lazy.Builder.RealFloat (FPFormat(..))
43import Data.Text.Lazy.Builder.RealFloat (FPFormat(..))
44import Data.Word (Word8, Word16)
44import Data.Word (Word8, Word16)
45import Debug.Trace (trace)
45import Debug.Trace (trace)
46−import System.Random (Random (..), RandomGen)
46+import System.Random (Random(..), RandomGen)
47import Test.QuickCheck hiding (Fixed(..), Small (..), (.&.))
47import Test.QuickCheck hiding (Fixed(..), Small (..), (.&.))
48import Test.QuickCheck.Monadic (assert, monadicIO, run)
48import Test.QuickCheck.Monadic (assert, monadicIO, run)
49import Test.QuickCheck.Unicode (string)
49import Test.QuickCheck.Unicode (string)