Hello,<br><br> Using a strongly-typed language so should just have to check "domain" and "co-domain" of functions?<br><br>Vasili<br><br><br><div class="gmail_quote">On Fri, Dec 26, 2008 at 11:13 PM, Galchin, Vasili <span dir="ltr"><<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hello, <br><br> I have a ByteString -> [ByteString] -> ByteString situation, i.e. concatenation .....<br>
<br><br> -- marshall into ByteString representation<br> join<br> (encode (buildHeader ss)) -- ByteString<br>
(map encode (buildEntries (sequenceListExtract ss))) -- [ByteString]<br> <br><br>I get the following typecheck error which is vexing me ....<br><br> Couldn't match expected type `t -> t -> B.ByteString'<br>
against inferred type `B.ByteString'<br><br>???<br><br>Thanks, Vasili<br><br><br><br><br><br><br>
</blockquote></div><br>