@@ -184,6 +184,8 @@ t_mappend s = mappend s`eqP` (unpackS . mappend (T.pack s))
184tl_mappend s = mappend s`eqP` (unpackS . mappend (TL.pack s))
184tl_mappend s = mappend s`eqP` (unpackS . mappend (TL.pack s))
185t_mconcat = mconcat `eq` (unpackS . mconcat . L.map T.pack)
185t_mconcat = mconcat `eq` (unpackS . mconcat . L.map T.pack)
186tl_mconcat = mconcat `eq` (unpackS . mconcat . L.map TL.pack)
186tl_mconcat = mconcat `eq` (unpackS . mconcat . L.map TL.pack)
187+t_mempty = mempty == (unpackS (mempty :: T.Text))
188+tl_mempty = mempty == (unpackS (mempty :: TL.Text))
187t_IsString = fromString `eqP` (T.unpack . fromString)
189t_IsString = fromString `eqP` (T.unpack . fromString)
188tl_IsString = fromString `eqP` (TL.unpack . fromString)
190tl_IsString = fromString `eqP` (TL.unpack . fromString)
@@ -809,6 +811,8 @@ tests = [
809 testProperty "tl_mappend" tl_mappend,
811 testProperty "tl_mappend" tl_mappend,
810 testProperty "t_mconcat" t_mconcat,
812 testProperty "t_mconcat" t_mconcat,
811 testProperty "tl_mconcat" tl_mconcat,
813 testProperty "tl_mconcat" tl_mconcat,
814+ testProperty "t_mempty" t_mempty,
815+ testProperty "tl_mempty" tl_mempty,
812 testProperty "t_IsString" t_IsString,
816 testProperty "t_IsString" t_IsString,
813 testProperty "tl_IsString" tl_IsString
817 testProperty "tl_IsString" tl_IsString