[Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

Malcolm Wallace malcolm.wallace at cs.york.ac.uk
Wed Nov 26 18:16:31 EST 2008

> ... to work out the C types and then map them to Haskell ones, to
> check they're the same as the declared types in the .hs files.

I'd like to point out that the FFI specification already has such a  
That is, if you use the optional specification of a header file for  
each foreign import, and if your Haskell compiler can compile via C,  
then any checking that types match between Haskell and C can be  
performed automatically, by the backend C compiler.

[ OK, so that is not the whole story, and there are good reasons why  
it might not always work out, but I still think it was an important  
principle in the original FFI design. ]


More information about the Haskell-Cafe mailing list