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