21 Sep
2001
21 Sep
'01
5:20 a.m.
Ashley Yakeley
At 2001-09-21 01:39, Manuel M. T. Chakravarty wrote:
That's ok. All I am saying is that the FFI doesn't ensure any concistency between the Haskell and the C type.
Well it can't can it? There's no type information in object-code symbols (unless you use C++ identifier mangling, which Haskell doesn't).
One could attempt to generate C prototypes from the Haskell type declarations or similar things, btu it doesn't work out. Manuel