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