<div dir="ltr">I don&#39;t think there&#39;s enough information in the snippet you&#39;ve given to determine what the problem is. And in general, it&#39;s a good idea to include the actual error message from the compiler.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Nov 12, 2012 at 5:02 AM, Alexander V Vershilov <span dir="ltr">&lt;<a href="mailto:alexander.vershilov@gmail.com" target="_blank">alexander.vershilov@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello.<br>
<br>
I have problems with writing next code (using network-conduit)<br>
<br>
slightly simplified version:<br>
<br>
&gt; app ad = appSource ad $$ sink<br>
&gt;   where<br>
&gt;     cMap = M.fromList [ (&quot;upload&quot;, cmdUpload), (&quot;download&quot;, cmdDownload) ]<br>
&gt;     sink = takeLine &gt;&gt;= \c -&gt; case c of Just run -&gt; run ; Nothing -&gt; return ()<br>
&gt;     cmdUpload = {- ... -} CB.sinkFile path<br>
&gt;     cmdDownload = do<br>
&gt;         {- code here -}<br>
&gt;         CB.sourceFile path $$ appSink ad  -- this will not work because of<br>
&gt;                                           -- type error<br>
<br>
And I&#39;m catching &quot;cannot construct the infinite type&quot;.<br>
<br>
I&#39;ve found an example in [1], but it&#39;s not exactly solves my problem, as all<br>
the logic is inside conduit, and it will break upload function.<br>
<br>
[1] <a href="http://www.yesodweb.com/blog/2012/06/conduit-0-5" target="_blank">http://www.yesodweb.com/blog/2012/06/conduit-0-5</a><br>
<br>
--<br>
Alexander Vershilov<br>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>