diff options
author | Tobias Dammers <tdammers@gmail.com> | 2018-09-10 22:46:31 +0200 |
---|---|---|
committer | Tobias Dammers <tdammers@gmail.com> | 2018-09-10 22:46:31 +0200 |
commit | ad577f65076166a453e465dac0082466d1bcb41c (patch) | |
tree | 15a8c5df1ce845e15a91dc28c6ac705fe938819f | |
parent | 65d38e683cbcf63e5b8445aa98d8267af7607323 (diff) | |
download | haskell-ad577f65076166a453e465dac0082466d1bcb41c.tar.gz |
Bugfix
-rw-r--r-- | compiler/types/TyCoRep.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 5d6492fefa..7f470ea7b8 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 |