On Mon, Nov 7, 2011 at 7:53 AM, Ben Gamari <span dir="ltr">&lt;<a href="mailto:bgamari.foss@gmail.com">bgamari.foss@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

With GHC 1ece7b27a11c6947f0ae3a11703e22b7065a6b6c zlib fails to build,<br>
apparently due to Safe Haskell (bug 5610 [1]). The error is specifically,<br>
<br>
$ cabal install zlib<br>
Resolving dependencies...<br>
Configuring zlib-0.5.3.1...<br>
Preprocessing library zlib-0.5.3.1...<br>
Building zlib-0.5.3.1...<br>
[1 of 5] Compiling Codec.Compression.Zlib.Stream ( dist/build/Codec/Compression/Zlib/Stream.hs, dist/build/Codec/Compression/Zlib/Stream.o )<br>
<br>
Codec/Compression/Zlib/Stream.hsc:857:1:<br>
    Unacceptable argument type in foreign declaration: CInt<br>
    When checking declaration:<br>
      foreign import ccall unsafe &quot;static zlib.h inflateInit2_&quot; c_inflateInit2_<br>
        :: StreamState -&gt; CInt -&gt; Ptr CChar -&gt; CInt -&gt; IO CInt<br>
<br>
Codec/Compression/Zlib/Stream.hsc:857:1:<br>
    Unacceptable argument type in foreign declaration: CInt<br>
    When checking declaration:<br>
      foreign import ccall unsafe &quot;static zlib.h inflateInit2_&quot; c_inflateInit2_<br>
        :: StreamState -&gt; CInt -&gt; Ptr CChar -&gt; CInt -&gt; IO CInt<br>
<br>
Codec/Compression/Zlib/Stream.hsc:857:1:<br>
    Unacceptable result type in foreign declaration: IO CInt<br>
    Safe Haskell is on, all FFI imports must be in the IO monad<br>
    When checking declaration:<br>
      foreign import ccall unsafe &quot;static zlib.h inflateInit2_&quot; c_inflateInit2_<br>
        :: StreamState -&gt; CInt -&gt; Ptr CChar -&gt; CInt -&gt; IO CInt<br>
...<br>
<br>
This is a little strange since,<br>
<br>
  a) It&#39;s not clear why Safe Haskell is enabled<br>
  b) The declarations in question seem to be valid<br>
<br>
Does this seem like a compiler issue to you?<br></blockquote><div><br></div><div>This is due to a change in how FFI imports and newtypes work. GHC was recently changed to not allow you to use newtypes in FFI imports unless the constructor of the newtype is in scope. This broke quite a few libraries. I have patched a few of them and I&#39;ve sent a patch to the zlib maintainer.</div>

<div><br></div><div>-- Johan</div><div><br></div></div>