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

[git at git.haskell.org]

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

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

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

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

    Bugfix


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

ad577f65076166a453e465dac0082466d1bcb41c
 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 5d6492f..7f470ea 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -1707,8 +1707,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