Re: [Haskell-cafe] A pattern type signature cannot bind scoped type variables `t'

On Mon, 2009-01-12 at 20:24 -0200, rodrigo.bonifacio wrote: > Hi all, > > I'm trying to build a library that has the following code: > > hasTypeOf (TermRep (dx,_,_)) (x::t) > = ((fromDynamic dx)::Maybe t) > Could you do something like this? Enforce the types with a signature: hasTypeOf :: (Typ

[Haskell-cafe] A pattern type signature cannot bind scoped type variables `t'

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 scope