[Haskell-cafe] Type error when trying to adapt http-proxy to new conduit

[Brandon Allbery]

On Wed, Dec 26, 2012 at 6:22 PM, Pieter Laeremans <pieter at laeremans.org>wrote:

> Network/HTTP/Proxy.hs:254:15:
>     Couldn't match expected type `ResourceT
>                                     IO (CIN.Pipe () () ByteString ()
> (ResourceT IO) ())'
>                 with actual type `IO
>                                     (CIN.Pipe () () ByteString ()
> (ResourceT IO) ())'
>
> I can't figure it out. To me it reads like : Expected x, actual x.
>

There's an extra ResourceT in the former.

expected `ResourceT IO (CIN.Pipe () () ByteString () (ResourceT IO) ())'
actual `IO (CIN.Pipe () () ByteString () (ResourceT IO) ())'

Might just need an extra lift?

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121226/a4fdfca9/attachment.htm>