On Mon, Apr 9, 2012 at 2:27 PM, Erik de Castro Lopo
Michael Snoyman wrote:
Hmm... I'd be surprised if you really need the Pipe signature that you're providing.
I'm not providing it, the compiler is suggesting it:
Network/HTTP/Proxy.hs:835:47: Couldn't match expected type `ByteString' with actual type `()' Expected type: C.Pipe Void ByteString (ResourceT IO) ByteString Actual type: C.Source (ResourceT IO) ByteString In the return type of a call of `requestBody' In the second argument of `($)', namely `requestBody req'
For the code:
HC.requestBody = HC.RequestBodySource contentLength $ fmap copyByteString $ Wai.requestBody req
but the type of the RequestBodySource constructor and Wai.requestBody hasn't changed.
Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
It's caused by fmap. This is one of the downsides with the move to a single type: some of the instances don't make sense anymore. In particular, Functor will allow you to map the *result* type, not the *output* type. I think I'll add a helper function- mapOutput- to the next version of conduit. Meanwhile, you can use: Wai.requestBody req $= Data.Conduit.List.map copyByteString Michael