Hi all,

I'm trying to build a library that has the following code:

hasTypeOf (TermRep (dx,_,_)) (x::t)
= ((fromDynamic dx)::Maybe t)

When I try to compile with ghc-6.8.3 I got the following error:

../../StrategyLib/models/drift-default//TermRep.hs:63:30:
A pattern type signature cannot bind scoped type variables `t'
unless the pattern has a rigid type context
In the pattern: x :: t
In the definition of `hasTypeOf':
hasTypeOf (TermRep (dx, _, _)) (x :: t)
= ((fromDynamic dx) :: Maybe t)

How can I solve this problem? Is there any option to ignore this erro when compiling with ghc-6.8.3?

Thanks for any help.

Rodrigo.