@@ -30,6 +30,7 @@ import Test.Framework (Test, testGroup)
3030import Test.Framework.Providers.QuickCheck2 (testProperty)
3131import Test.QuickCheck hiding ((.&.))
3232import Test.QuickCheck.Monadic
33+import Test.QuickCheck.Property (Property(..))
3334import Tests.QuickCheckUtils
3435import Tests.Utils
3536import Text.Show.Functions ()
@@ -125,9 +126,9 @@ t_utf8_err bad de = do
125126 Leading -> B.append <$> genInvalidUTF8 <*> genUTF8
126127 Trailing -> B.append <$> genUTF8 <*> genInvalidUTF8
127128 genUTF8 = E.encodeUtf8 <$> genUnicode
128− forAll gen $ \bs -> do
129+ forAll gen $ \bs -> MkProperty $ do
129130 onErr <- genDecodeErr de
130− monadicIO $ do
131+ unProperty . monadicIO $ do
131132 l <- run $ let len = T.length (E.decodeUtf8With onErr bs)
132133 in (len `seq` return (Right len)) `Exception.catch`
133134 (\(e::UnicodeException) -> return (Left e))