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