Ptr and ForeignPtr Questions

[Manuel M. T. Chakravarty]

Ashley Yakeley <ashley@semantic.org> 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
out.

Manuel