Good stuff! It's a plain bug -- although one that appears never to bite in practice. I'll commit a patch. Sing ho for checking warnings...
Thanks Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On | Behalf Of Twan van Laarhoven | Sent: 26 January 2008 21:06 | To: cvs-ghc | Subject: Result of match_kind, am I reading this correctly? | | Hello, | | While fixing 'unused binding' warnings in compiler/types/Unify.lhs I came | across | the following in the function match (line 163): | | -> do { subst1 <- match_kind menv subst tv1 ty2 | ; return (extendVarEnv subst tv1' ty2) } | | Since the new substitution is not used, this is equivalent to | | -> do { match_kind menv subst tv1 ty2 | ; return (extendVarEnv subst tv1' ty2) } | | Is this correct? | | Twan | | _______________________________________________ | Cvs-ghc mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
