@@ -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, isUpper, ord)
14+import Data.Char (chr, isDigit, isHexDigit, isLower, isSpace, isLetter, isUpper, ord)
1515import Data.Int (Int8, Int16, Int32, Int64)
1616import Data.Monoid (Monoid(..))
1717import Data.String (IsString(fromString))
@@ -23,6 +23,7 @@ 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)
2627import Numeric (showEFloat, showFFloat, showGFloat, showHex)
2728import Prelude hiding (replicate)
2829import Test.Framework (Test, testGroup)
@@ -328,6 +329,8 @@ tl_toUpper_upper t = p (TL.toUpper t) >= p t
328329 where p = TL.length . TL.filter isUpper
329330t_toTitle_title t = all (<= 1) (caps t)
330331 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
331334
332335justifyLeft k c xs = xs ++ L.replicate (k - length xs) c
333336justifyRight m n xs = L.replicate (m - length xs) n ++ xs
@@ -1033,7 +1036,8 @@ tests =
10331036 testProperty "t_toUpper_length" t_toUpper_length,
10341037 testProperty "t_toUpper_upper" t_toUpper_upper,
10351038 testProperty "tl_toUpper_upper" tl_toUpper_upper,
1036− testProperty "t_toTitle_title" t_toTitle_title
1039+ testProperty "t_toTitle_title" t_toTitle_title,
1040+ testProperty "t_toTitle_1stNotLower" t_toTitle_1stNotLower
10371041 ],
10381042
10391043 testGroup "justification" [