Ptr and ForeignPtr Questions

Manuel M. T. Chakravarty
Fri, 21 Sep 2001 19:20:59 +1000

Ashley Yakeley <> wrote,

> 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