Re: Ptr and ForeignPtr Questions
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). -- Ashley Yakeley, Seattle WA
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
participants (2)
-
Ashley Yakeley -
Manuel M. T. Chakravarty