GreenCard --target=ffi

[Ferenc Wagner]

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.