[commit: ghc] wip/T14880-2-step2-c123: Bugfix (b7f2ad3)

git at git.haskell.org git at git.haskell.org
Fri Oct 12 09:30:35 UTC 2018


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

On branch  : wip/T14880-2-step2-c123
Link       : http://ghc.haskell.org/trac/ghc/changeset/b7f2ad3225ee79b4abac844edf7c5541dd001771/ghc

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

commit b7f2ad3225ee79b4abac844edf7c5541dd001771
Author: Tobias Dammers <tdammers at gmail.com>
Date:   Mon Sep 10 22:46:31 2018 +0200

    Bugfix


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

b7f2ad3225ee79b4abac844edf7c5541dd001771
 compiler/types/TyCoRep.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index f97db0d..d512eff 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -1906,8 +1906,8 @@ ty_co_vars_of_mco (MCo co) is  acc = ty_co_vars_of_co co is acc
 
 ty_co_vars_of_co_var :: CoVar -> TyCoVarSet -> TyCoVarSet -> TyCoVarSet
 ty_co_vars_of_co_var v is acc
-  | v `elemVarSet` is = acc
   | v `elemVarSet` is  = acc
+  | v `elemVarSet` acc = acc
   | otherwise         = ty_co_vars_of_type (varType v) is (extendVarSet acc v)
 
 ty_co_vars_of_cos :: [Coercion] -> TyCoVarSet -> TyCoVarSet -> TyCoVarSet



More information about the ghc-commits mailing list