Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-7.4
http://hackage.haskell.org/trac/ghc/changeset/25ec16774e79b0a400da4ba1fc2ddf59064e3ec3 >--------------------------------------------------------------- commit 25ec16774e79b0a400da4ba1fc2ddf59064e3ec3 Author: Jose Pedro Magalhaes <[email protected]> Date: Fri Dec 16 14:56:39 2011 +0000 Fix a bug in TcCanonical (Dimitrios spotted) >--------------------------------------------------------------- compiler/typecheck/TcCanonical.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs index f2b6527..afd9093 100644 --- a/compiler/typecheck/TcCanonical.lhs +++ b/compiler/typecheck/TcCanonical.lhs @@ -1296,7 +1296,7 @@ canEqLeafTyVarLeft d fl eqv tv s2 -- eqv : tv ~ s2 ; if no_flattening_happened then if isNothing occ_check_result then - canEqFailure d fl eqv + canEqFailure d fl (setVarType eqv $ mkEqPred (mkTyVarTy tv, xi2')) else continueWith $ CTyEqCan { cc_id = eqv , cc_flavor = fl _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
