Ptr and ForeignPtr Questions

Manuel M. T. Chakravarty
Sun, 23 Sep 2001 17:45:07 +1000

Ashley Yakeley <> wrote,

> At 2001-09-21 02:20, Manuel M. T. Chakravarty wrote:
> >One could attempt to generate C prototypes from the Haskell
> >type declarations or similar things, btu it doesn't work
> >out.
> Why not? Isn't there a straightforward type map?

No, unfortunately not.  Consider, for example, that storage
qualifiers would have to be generated correctly and there is
no way to determine form a Haskell type whether a `const'
modifier needs to be added.