Re: GreenCard --target=ffi

Alastair Reid <reid@cs.utah.edu> writes:

At the moment, Hugs' ffi doesn't work with GreenCard

Thanks for the input. It's not a big problem, since GC has native Hugs target. But the GC docs should be corrected then. (CCd to sof at galois.com)

and isn't compatible with GHC and NHC. I'm trying to update Hugs' ffi implementation in my spare time.

Your help (previous answers) is very valuable for me, thanks for taking time again! Feri.