PeerPipelined and kind inference (#275)

* Make PeerPipelined type arguments of the same kind as PeerSender * Also update comment.
IntersectMBO · Feb 11, 2019 · 3468105 · 3468105
1 parent 27f2c87
commit 3468105
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/typed-protocols/src/Network/TypedProtocol/Pipelined.hs b/typed-protocols/src/Network/TypedProtocol/Pipelined.hs
@@ -11,7 +11,7 @@ module Network.TypedProtocol.Pipelined where
 import Network.TypedProtocol.Core
 
 
-data PeerPipelined ps pk st m a where
+data PeerPipelined ps (pk :: PeerKind) (st :: ps) m a where
   PeerPipelined :: PeerSender    ps pk st Z c m a
                 -> PeerPipelined ps pk st     m a
 

diff --git a/typed-protocols/src/Network/TypedProtocol/ReqResp/Client.hs b/typed-protocols/src/Network/TypedProtocol/ReqResp/Client.hs
@@ -82,17 +82,13 @@ data ReqRespSender req resp n c m a where
   SendMsgDonePipelined
     :: a -> ReqRespSender req resp Z c m a
 
-{-
--- This is the inferred type, but using it results in a weird type error!
 reqRespClientPeerPipelined
   :: Monad m
   => ReqRespClientPipelined req resp                  m a
   -> PeerPipelined (ReqResp req resp) AsClient StIdle m a
--}
 reqRespClientPeerPipelined (ReqRespClientPipelined peer) =
     PeerPipelined (reqRespClientPeerSender peer)
 
-
 reqRespClientPeerSender
   :: Monad m
   => ReqRespSender       req resp                  n c m a