[Haskell-cafe] Re: ByteString typechecking issues....

[Galchin, Vasili]

Hello,

     Using a strongly-typed language so should just have to check "domain"
and "co-domain" of functions?

Vasili


On Fri, Dec 26, 2008 at 11:13 PM, Galchin, Vasili <vigalchin at gmail.com>wrote:

> Hello,
>
>       I have a ByteString -> [ByteString] -> ByteString situation, i.e.
> concatenation .....
>
>
>                   -- marshall into ByteString representation
>                    join
>                       (encode (buildHeader ss))
> -- ByteString
>                       (map encode (buildEntries (sequenceListExtract ss)))
> -- [ByteString]
>
>
> I get the following typecheck error which is vexing me ....
>
>     Couldn't match expected type `t -> t -> B.ByteString'
>            against inferred type `B.ByteString'
>
> ???
>
> Thanks, Vasili
>
>
>
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081227/9c82bbc4/attachment.htm