kind error

Brammert Ottens brammert.ottens at epfl.ch
Tue Oct 23 07:29:52 EDT 2007


Hello,

I am trying to recompile some haskell code. I have previously compiled 
it with ghc 6.4 and that went fine. The lines that give the trouble are

import qualified Data.Edison.Coll.UnbalancedSet as US
import qualified Data.Edison.Coll.MinHeap as MH


data DecoratedFormula = DF{formula  :: Formula,
                          iformula ::  IFormula}

type FastClause = MH.Min US.Set DecoratedFormula


When compiling with ghc 6.6.1 and edison 1.2.1 I get the following error 
message:

FastClause.hs:71:25:
   `US.Set' is not applied to enough type arguments
   Expected kind `*', but `US.Set' has kind `* -> *'
   In the type synonym declaration for `FastClause'

I have no idea how to solve this error, since as far as I can see the 
type declarations of both MinHeap and Set do not seem to have changed. 
Any suggestions are more then welcome.

Regards,

Brammert


More information about the Glasgow-haskell-users mailing list