Hi: I've been trying to write something in pipes.
https://gist.github.com/accelas/10929044 GHC keeps giving me this error: Couldn't match type `forall x' x. Proxy x' x () ByteString IO ()' with `Proxy x'0 x1 () ByteString m0 ()' Expected type: StateT (GlobalState, Proxy x'0 x1 () ByteString m0 ()) IO Bool Actual type: StateT (GlobalState, Producer' ByteString IO ()) IO Bool In the first argument of ``runStateT` st', namely `procHandshake' In a stmt of a 'do' block: (res, nSt) <- (`runStateT` st) procHandshake In the expression: do { let st = (,) (GlobalState conf sock 0) ((fromSocket sock 4096)); (res, nSt) <- (`runStateT` st) procHandshake; when res $ do { rThread <- async $ void $ (`runStateT` nSt) $ procMessage; aThread <- async $ app reqOut; .... } } Why is that GHC can't infer `forall x' x. Proxy x' x () ByteString IO ()' is `Proxy x'0 x1 () ByteString m0 ()' And why GHC couldn't compile "zoom _1" part of the code? If I uncomment that part, GHC now complains: Not in scope: `handshaekInfo' Perhaps you meant one of these: `handshakeInfo' (line 41), `_handshakeInfo' (line 37) Can anyone give me a hint? Cheers, Kai -- You received this message because you are subscribed to the Google Groups "Haskell Pipes" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected].
