Simon Marlow wrote:
When you call `make all' from the edison subdir, the compiler and the
flags change magically and dependencies seem to be broken:
You shouldn't try building in the edison subdir; the Makefile in
fptools/hslibs/data is designed to reach into edison and build the required
(I'm using GHC 4.04 patchlevel 1...)
Suppose I have a type involving higher kinds such as
data H f a = H (f a)
and now suppose I want to define equality on this type.
I *cannot* say
instance Eq (f a) = Eq (H f a) where
H x == H y = x == y
because I get an error message
Illegal