Re: cvs commit: fptools/green-card/src Casm.lhs GreenCard.lhs Proc.lhs Process.lhs Target.lhs

> Sorry Alastair, but this doesn't make much sense to me.  Why remove
> code that's not getting in anyone's way?

With the code there, people are free to use both

  greencard --target=hugs

and

  greencard --target=ffi

which means we have to support two separate foreign function APIs.
Removing the Hugs-specific backend reduces it to just one backend and
we have half as much to maintain.

It is also a step towards eventually eliminating all dependencies on
HugsAPI{2,3,4,5} in external tools and, in time, distributed code
which would let us cleanup Hugs a little.

--
Alastair