@@ -11,7 +11,7 @@ module Tests.Properties
1111import Control.Applicative ((<$>), (<*>))
1212import Control.Arrow ((***), second)
1313import Data.Bits ((.&.))
14−import Data.Char (chr, isDigit, isHexDigit, isLower, isSpace, isLetter, isUpper, ord)
14+import Data.Char (chr, isDigit, isHexDigit, isLower, isSpace, isUpper, ord)
1515import Data.Int (Int8, Int16, Int32, Int64)
1616import Data.Monoid (Monoid(..))
1717import Data.String (IsString(fromString))
@@ -23,7 +23,6 @@ import Data.Text.Internal.Search (indices)
2323import Data.Text.Lazy.Read as TL
2424import Data.Text.Read as T
2525import Data.Word (Word, Word8, Word16, Word32, Word64)
26−import Data.Maybe (mapMaybe)
2726import Numeric (showEFloat, showFFloat, showGFloat, showHex)
2827import Prelude hiding (replicate)
2928import Test.Framework (Test, testGroup)
@@ -327,10 +326,6 @@ t_toUpper_upper t = p (T.toUpper t) >= p t
327326 where p = T.length . T.filter isUpper
328327tl_toUpper_upper t = p (TL.toUpper t) >= p t
329328 where p = TL.length . TL.filter isUpper
330−t_toTitle_title t = all (<= 1) (caps t)
331− where caps = fmap (T.length . T.filter isUpper) . T.words . T.toTitle
332−t_toTitle_1stNotLower = all id . (notLow . T.toTitle)
333− where notLow = mapMaybe (fmap (not . isLower) . (T.find isLetter)) . T.words
334329
335330justifyLeft k c xs = xs ++ L.replicate (k - length xs) c
336331justifyRight m n xs = L.replicate (m - length xs) n ++ xs
@@ -1035,9 +1030,7 @@ tests =
10351030 testProperty "tl_toLower_lower" tl_toLower_lower,
10361031 testProperty "t_toUpper_length" t_toUpper_length,
10371032 testProperty "t_toUpper_upper" t_toUpper_upper,
1038− testProperty "tl_toUpper_upper" tl_toUpper_upper,
1039− testProperty "t_toTitle_title" t_toTitle_title,
1040− testProperty "t_toTitle_1stNotLower" t_toTitle_1stNotLower
1033+ testProperty "tl_toUpper_upper" tl_toUpper_upper
10411034 ],
10421035
10431036 testGroup "justification" [