Thank you for the explanation. I now understand the problem. I have
rewritten the code using some parenthesis.
Thanks,
Roel
2012/2/10 Simon Peyton-Jones :
> It should not have worked before. Consider
>
> I# $ 3#
>
> ($) is a polymorphic function and takes two *pointer* arguments. If w
It should not have worked before. Consider
I# $ 3#
($) is a polymorphic function and takes two *pointer* arguments. If we
actually called it with I# and 3# as arguments we might seg-fault when we call
the GC when allocating the box.
Polymorphic type variables (in this case in th
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: [EMAIL
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
i
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 `* ->