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@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users