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

27 Dec 2008


      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@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