<p>Hi all,</p>
<p>I'm trying to build a library that has the following code:</p>
<p>hasTypeOf (TermRep (dx,_,_)) (x::t)<br /> = ((fromDynamic dx)::Maybe t)</p>
<p> </p>
<p>When I try to compile with ghc-6.8.3 I got the following error:</p>
<p>../../StrategyLib/models/drift-default//TermRep.hs:63:30:<br /> A pattern type signature cannot bind scoped type variables `t'<br /> unless the pattern has a rigid type context<br /> In the pattern: x :: t<br /> In the definition of `hasTypeOf':<br /> hasTypeOf (TermRep (dx, _, _)) (x :: t)<br /> = ((fromDynamic dx) :: Maybe t)</p>
<p> </p>
<p>How can I solve this problem? Is there any option to ignore this erro when compiling with ghc-6.8.3?</p>
<p>Thanks for any help.</p>
<p>Rodrigo.</p>