[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