@@ -184,6 +184,8 @@ t_mappend s = mappend s`eqP` (unpackS . mappend (T.pack s))
184184tl_mappend s = mappend s`eqP` (unpackS . mappend (TL.pack s))
185185t_mconcat = mconcat `eq` (unpackS . mconcat . L.map T.pack)
186186tl_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))
187189t_IsString = fromString `eqP` (T.unpack . fromString)
188190tl_IsString = fromString `eqP` (TL.unpack . fromString)
189191
@@ -809,6 +811,8 @@ tests = [
809811 testProperty "tl_mappend" tl_mappend,
810812 testProperty "t_mconcat" t_mconcat,
811813 testProperty "tl_mconcat" tl_mconcat,
814+ testProperty "t_mempty" t_mempty,
815+ testProperty "tl_mempty" tl_mempty,
812816 testProperty "t_IsString" t_IsString,
813817 testProperty "tl_IsString" tl_IsString
814818 ],