@@ -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)
@@ -326,6 +327,14 @@ t_toUpper_upper t = p (T.toUpper t) >= p t
326327 where p = T.length . T.filter isUpper
327328tl_toUpper_upper t = p (TL.toUpper t) >= p t
328329 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 = and . notLow . T.toTitle . T.filter stable
333+ where notLow = mapMaybe (fmap (not . isLower) . (T.find isLetter)) . T.words
334+ -- Surprise! The Spanish/Portuguese ordinal indicators changed
335+ -- from category Ll (letter, lowercase) to Lo (letter, other)
336+ -- in Unicode 7.0
337+ stable c = c /= '\170' && c /= '\186'
329338
330339justifyLeft k c xs = xs ++ L.replicate (k - length xs) c
331340justifyRight m n xs = L.replicate (m - length xs) n ++ xs
@@ -1030,7 +1039,9 @@ tests =
10301039 testProperty "tl_toLower_lower" tl_toLower_lower,
10311040 testProperty "t_toUpper_length" t_toUpper_length,
10321041 testProperty "t_toUpper_upper" t_toUpper_upper,
1033− testProperty "tl_toUpper_upper" tl_toUpper_upper
1042+ testProperty "tl_toUpper_upper" tl_toUpper_upper,
1043+ testProperty "t_toTitle_title" t_toTitle_title,
1044+ testProperty "t_toTitle_1stNotLower" t_toTitle_1stNotLower
10341045 ],
10351046
10361047 testGroup "justification" [