kind error

Simon Peyton-Jones simonpj at microsoft.com
Wed Oct 24 07:49:52 EDT 2007


I don't see how that could *ever* have compiled.

>From MinHeap:

        data Min h a = E | M a h  deriving (Eq)

>From UnbalancedSet:

        data Set a = E | T (Set a) a (Set a)

So the type synoynm for FastClasus is ill-kinded, as GHC says.

Simon


| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On
| Behalf Of Brammert Ottens
| Sent: 23 October 2007 12:30
| To: glasgow-haskell-users at haskell.org
| Subject: kind error
|
| 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
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


More information about the Glasgow-haskell-users mailing list