@@ -203,6 +203,10 @@ t_decode_with_error4' =
203 case E.streamDecodeUtf8With (\_ _ -> Just 'x') (B.pack [0xC2, 97, 97, 97]) of
203 case E.streamDecodeUtf8With (\_ _ -> Just 'x') (B.pack [0xC2, 97, 97, 97]) of
204 E.Some x _ _ -> x === "xaaa"
204 E.Some x _ _ -> x === "xaaa"
206+t_infix_concat bs1 text bs2 rep =
208+ E.decodeUtf8With (\_ _ -> rep) (B.concat [bs1, E.encodeUtf8 text, bs2])
206s_Eq s = (s==) `eq` ((S.streamList s==) . S.streamList)
210s_Eq s = (s==) `eq` ((S.streamList s==) . S.streamList)
207 where _types = s :: String
211 where _types = s :: String
208sf_Eq p s =
212sf_Eq p s =
@@ -985,7 +989,8 @@ tests =
985 testProperty "t_decode_with_error4" t_decode_with_error4,
989 testProperty "t_decode_with_error4" t_decode_with_error4,
986 testProperty "t_decode_with_error2'" t_decode_with_error2',
990 testProperty "t_decode_with_error2'" t_decode_with_error2',
987 testProperty "t_decode_with_error3'" t_decode_with_error3',
991 testProperty "t_decode_with_error3'" t_decode_with_error3',
988− testProperty "t_decode_with_error4'" t_decode_with_error4'
992+ testProperty "t_decode_with_error4'" t_decode_with_error4',
993+ testProperty "t_infix_concat" t_infix_concat