David Elworthy writes:
> I'm finding that Green Card 0.9 seems to have problems with GHC 2.09 (both
> with the cygwin32 version - I haven't checked the solaris one
> yet). Essentially functions which return IO types fail type checking. I had a
> .ss file which worked OK with 2.08 but does not type check with 2.09. I can't
> send you the whole file, so here is a similar one which shows the same
> behaviour under 2.09.
>
Hi,
the compilation errors you're seeing are due to the introduction of a
more efficient representation of the IO monad in 2.09, which the
generated Green Card-0.9 code is not compatible with.
To try get you going with Green Card and 2.09,
ftp://laysan.dcs.gla.ac.uk/fran/green-card.zip
contains a cygwin32 binary of GreenCard2, which should produce 2.09
compatible code.
I'll check to see if we cannot put out a new Green Card source
distribution soon that includes fixes for this plus a number of other
improvements.
--Sigbjorn
