kind error

[Brammert Ottens]

Hi,

First of all I must say that the code that I am compiling is not my own 
code. So I cannot be a 100% sure of what the original author meant. But 
I think that what was meant is

type FastClause = MH.Min (US.Set DecoratedFormula)

However, if I try this I get an error further down the line

instance Ord FastClause where
  compare cl1 cl2 = compare (toOrdList cl2) (toOrdList cl1)

with the error

`FastClause' is not applied to enough type arguments
    Expected kind `*', but `FastClause' has kind `* -> *'
    In the instance declaration for `Ord FastClause'

So then MH.Min is still waiting for the second argument.

regards,

Brammert


Matthew Pocock schreef:
> Hi,
>
>   
>> Hello,
>>     
>
>   
>> data DecoratedFormula = DF{formula  :: Formula,
>>                           iformula ::  IFormula}
>>
>> type FastClause = MH.Min US.Set DecoratedFormula
>>     
>
>   
>> 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'
>>     
>
> My hunch would be that US.Set is expecting to be a set of something
> ("US.Set a" for example) and that the first type argument of MH.Min is
> expecting a type that can be used right away, rather than one that is
> waiting for a type parameter.
>
> So - did you mean something like:
>
> type FastClause = MH.Min (US.Set DecoratedFormula)
>
> Or perhaps something completely different?
>
> Matthew
>
>   
>> Regards,
>>
>> Brammert
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>>
>>     
>
>
>
>