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. Manuel