@@ -876,7 +876,7 @@ tl_write_read_line e m b t = write_read head TL.filter TL.hPutStrLn
877t_dropWord16 m t = dropWord16 m t `T.isSuffixOf` t
877t_dropWord16 m t = dropWord16 m t `T.isSuffixOf` t
878t_takeWord16 m t = takeWord16 m t `T.isPrefixOf` t
878t_takeWord16 m t = takeWord16 m t `T.isPrefixOf` t
879−t_take_drop_16 m t = T.append (takeWord16 n t) (dropWord16 n t) == t
879+t_take_drop_16 m t = T.append (takeWord16 n t) (dropWord16 n t) === t
880 where n = small m
880 where n = small m
881t_use_from t = monadicIO $ assert . (==t) =<< run (useAsPtr t fromPtr)
881t_use_from t = monadicIO $ assert . (==t) =<< run (useAsPtr t fromPtr)