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.
If the report is on this subject, then could not it be more definite?
The module does not contain any `$gL'. And what I am doing now is
commenting-out the large parts of the module to localize the item.
The project consisting of so many modules, I cannot transmit it to you
right now. So the sitiation is rather theoretic ...
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
