diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-05-13 12:00:10 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-05-13 12:00:10 +0100 |
| commit | 6e1174da5b8e0b296f5bfc8b39904300d04eb5b7 (patch) | |
| tree | ae52b627d8c12cf8cf7e2ab5be8f7d1547142a20 /compiler/typecheck/FunDeps.hs | |
| parent | a8493e03b89f3b3bfcdb6005795de050501f5c29 (diff) | |
| download | haskell-6e1174da5b8e0b296f5bfc8b39904300d04eb5b7.tar.gz | |
Separate transCloVarSet from fixVarSet
I wasn't clear about the distinction before, and that led to a bug
when I refactored FunDeps.oclose to use transCloVarSet; it should
use fixVarSet.
Diffstat (limited to 'compiler/typecheck/FunDeps.hs')
| -rw-r--r-- | compiler/typecheck/FunDeps.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/FunDeps.hs b/compiler/typecheck/FunDeps.hs index 3e07f6b07c..830873c1b9 100644 --- a/compiler/typecheck/FunDeps.hs +++ b/compiler/typecheck/FunDeps.hs @@ -446,7 +446,7 @@ oclose :: [PredType] -> TyVarSet -> TyVarSet -- See Note [The liberal coverage condition] oclose preds fixed_tvs | null tv_fds = fixed_tvs -- Fast escape hatch for common case. - | otherwise = transCloVarSet extend fixed_tvs + | otherwise = fixVarSet extend fixed_tvs where extend fixed_tvs = foldl add fixed_tvs tv_fds where |