[Haskell-cafe] workarounds for Codec.Compression.Zlib errors in
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