[Haskell-beginners] Opaque (to me) compilation error

Dan Stromberg strombrg at gmail.com
Sat Nov 14 01:41:45 UTC 2015

In the following code:
prefix_md5 :: String -> Data.ByteString.ByteString
prefix_md5 filename = do
    let prefix_length = 1024
    file <- System.IO.openBinaryFile filename System.IO.ReadMode :: (IO
    data_read <- Data.ByteString.hGet file prefix_length :: (IO
    _ <- System.IO.hClose file
    let hasher = Crypto.Hash.MD5.init :: Crypto.Hash.MD5.Ctx
    let hasher2 = Crypto.Hash.MD5.update hasher data_read ::
    let digest = Crypto.Hash.MD5.finalize hasher2 ::
    return digest :: (IO Data.ByteString.ByteString)

I get the error:
    Couldn't match type `IO Data.ByteString.ByteString'
                  with `Data.ByteString.ByteString'
    Expected type: IO System.IO.Handle
                   -> (System.IO.Handle -> IO Data.ByteString.ByteString)
                   -> Data.ByteString.ByteString
      Actual type: IO System.IO.Handle
                   -> (System.IO.Handle -> IO Data.ByteString.ByteString)
                   -> IO Data.ByteString.ByteString
    In a stmt of a 'do' block:
      file <- System.IO.openBinaryFile filename System.IO.ReadMode ::
                IO System.IO.Handle

How should I interpret that error to solve this kind of problem on my own
in the future?  I don't see where the line in question does anything with

How might I correct this function to eliminate the error?


Dan Stromberg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20151113/1e3eecfa/attachment.html>

More information about the Beginners mailing list