> ghc-2.08-linux reports
>
> <an interface file>: Couldn't match the kind
> `ka10725 -> *' against `*'
> When unifying two kinds `* -> *' and `*'
> In an interface-file signature for `$gL'
>
>
> Many types have been modified in the module to include the additionl
> type parameter. So it starts to disagree with the import value types.
> But it is not so simple to discover to which ones.
It's not a good error message I agree. I bet what has happened is
that you have three modules A, B (which imports A), C (which imports A and B).
I guess you've recompiled A and C but without recompiling B first.
So that B's interface file is out of date.
Another possible difficulty is that you have mutually recursive modules,
and are ignoring your makefile's complaints about cyclic dependencies.
(You have to help the compiler with mutual recursion using an ill-documented
route involving .hi-boot files.)
Solution (if so) is to fix your makefile to recompile in the right
order. If you *have* recompiled in the correct order then this
error should never occur. If you can make it happen reproducibly that
would be terrific.
Simon
