23 Sep
2001
23 Sep
'01
3:45 a.m.
Ashley Yakeley
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