@@ -1,4 +1,4 @@
1−{-# LANGUAGE FlexibleInstances #-}
1+{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
2{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
2{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
4import Test.QuickCheck
4import Test.QuickCheck
@@ -61,6 +61,11 @@ class Target t where
61 packTChunkSize :: Int -> String -> t
61 packTChunkSize :: Int -> String -> t
62 packTChunkSize _ = packT
62 packTChunkSize _ = packT
64+instance Target String where
64instance Target (S.Stream Char) where
69instance Target (S.Stream Char) where
65 packT = S.streamList
70 packT = S.streamList
66 unpackT = S.unstreamList
71 unpackT = S.unstreamList