Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/4cc882650af6a4fadb30706f21e987edb846bcc3 >--------------------------------------------------------------- commit 4cc882650af6a4fadb30706f21e987edb846bcc3 Author: Simon Peyton Jones <[email protected]> Date: Thu Apr 26 09:29:15 2012 +0100 Fix a one-character typo (kv1 should be kv2!) Fixes Trac #6020, #6044 >--------------------------------------------------------------- compiler/typecheck/TcUnify.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index 1729dcd..6e4d128 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -1119,7 +1119,7 @@ uKVar isFlipped unify_kind eq_res kv1 k2 | TyVarTy kv2 <- k2, kv1 == kv2 = return eq_res - | TyVarTy kv2 <- k2, isTcTyVar kv1, isMetaTyVar kv2 + | TyVarTy kv2 <- k2, isTcTyVar kv2, isMetaTyVar kv2 = uKVar (not isFlipped) unify_kind eq_res kv2 (TyVarTy kv1) | otherwise = if isFlipped _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
