Ptr and ForeignPtr Questions

Manuel M. T. Chakravarty chak@cse.unsw.edu.au
Sun, 23 Sep 2001 17:45:07 +1000


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

Manuel