[commit: ghc] wip/rae-new-coercible: Typo. (6e6b26e)

git at git.haskell.org git at git.haskell.org
Mon Dec 8 17:18:44 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/rae-new-coercible
Link       : http://ghc.haskell.org/trac/ghc/changeset/6e6b26e466747821d570ca91a81a2fb1f51285fe/ghc

>---------------------------------------------------------------

commit 6e6b26e466747821d570ca91a81a2fb1f51285fe
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Dec 8 12:18:44 2014 -0500

    Typo.


>---------------------------------------------------------------

6e6b26e466747821d570ca91a81a2fb1f51285fe
 compiler/typecheck/TcFlatten.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcFlatten.hs b/compiler/typecheck/TcFlatten.hs
index fa03499..d8ac374 100644
--- a/compiler/typecheck/TcFlatten.hs
+++ b/compiler/typecheck/TcFlatten.hs
@@ -954,7 +954,7 @@ flattenTyVarOuter fmode tv
            Just (ct:_)   -- If the first doesn't work,
                          -- the subsequent ones won't either
              | CTyEqCan { cc_ev = ctev, cc_tyvar = tv, cc_rhs = rhs_ty } <- ct
-             , ctev `eqCanRewrite` ctxt_ev
+             , ctEvFlavourRole ctev `eqCanRewriteFR` feFlavourRole fmode
              ->  do { traceTcS "Following inert tyvar" (ppr tv <+> equals <+> ppr rhs_ty $$ ppr ctev)
                     ; let rewrite_co1 = mkTcSymCo (ctEvCoercion ctev)
                           rewrite_co = case (ctEvEqRel ctev, fe_eq_rel fmode) of



More information about the ghc-commits mailing list