Removed QuickCheck dependency

IntersectMBO · Feb 11, 2019 · de15a7a · de15a7a
1 parent 402b14f
commit de15a7a
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 8 deletions.
diff --git a/typed-protocols/src/Network/TypedProtocol/Codec.hs b/typed-protocols/src/Network/TypedProtocol/Codec.hs
@@ -49,8 +49,6 @@ import qualified Data.ByteString.Lazy          as LBS
 
 import           Data.Proxy (Proxy)
 
-import           Test.QuickCheck (Property, property)
-
 
 -- | A codec for a 'Protocol' handles the encoding and decoding of typed
 -- protocol messages. This is typically used when sending protocol messages
@@ -290,10 +288,10 @@ prop_codec
   -> (forall (pk :: PeerKind). Codec ps pk failure m bytes)
   -- ^ codec
   -> AnyMessage ps
-  -> Property
+  -> Bool
 prop_codec otherPeer chunks runM codec (AnyMessage tok msg) =
   let bytes :: [bytes]
       bytes = chunks $ encode codec tok msg
   in case runM $ runDecode (otherPeer tok) (double tok) bytes codec of
-    Right (SomeMessage msg') -> property $ (AnyMessage tok msg') == (AnyMessage tok msg)
-    Left _                   -> property False
+    Right (SomeMessage msg') -> (AnyMessage tok msg') == (AnyMessage tok msg)
+    Left _                   -> False
diff --git a/typed-protocols/src/Network/TypedProtocol/PingPong/Tests.hs b/typed-protocols/src/Network/TypedProtocol/PingPong/Tests.hs
@@ -333,7 +333,7 @@ instance Show AnyPingPongMessage where
 
 prop_codecPingPong
   :: AnyPingPongMessage
-  -> Property
+  -> Bool
 prop_codecPingPong (AnyPingPongMessage tok msg) =
   prop_codec otherPeer (map (\b -> [b])) runIdentity codecPingPong (AnyMessage tok msg)
  where

diff --git a/typed-protocols/typed-protocols.cabal b/typed-protocols/typed-protocols.cabal
@@ -44,8 +44,7 @@ library
                      -- TODO: do we want these here or move elsewhere?
                      bytestring,
                      process,
-                     cborg,
-                     QuickCheck
+                     cborg
 
   hs-source-dirs:    src
   default-language:  Haskell2010