On Sep 28, 2009, at 17:56 , João Paulo wrote:
GADT pattern match in non-rigid context for `LeftCons' Solution: add a type signatureIn the pattern: LeftCons l' h_down [marked with # in the code]The suggestion is quite clear :D (in fact, I think this compiler suggestion is the result of previous interactions in this mailing list)The thing is that, in order to add a type signature to the suggested pattern, I believe I have to use the type variables in the signature of function 'move_down' (which I don't think is possible);
You want the ScopedTypeVariables extension. Read the documentation before using; you need to explicitly forall the type variables you want to use later.
-- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [email protected] system administrator [openafs,heimdal,too many hats] [email protected] electrical and computer engineering, carnegie mellon university KF8NH
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
