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 <vigalc...@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
>
>
>
>
>
>
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
