diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-08-29 10:14:45 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-08-29 10:21:37 +0100 |
| commit | dfc9d309a5202d65032c80f5b74df17035a61b8c (patch) | |
| tree | 18fb696fbf94a3c923f4c585ade76f6954b778d7 /compiler/simplCore/CoreMonad.lhs | |
| parent | 2da63c60d0edfc8b3ae9c31f2179fee0dc026edd (diff) | |
| download | haskell-dfc9d309a5202d65032c80f5b74df17035a61b8c.tar.gz | |
Define mapUnionVarSet, and use it
Call sites are much easier to understand than before
Diffstat (limited to 'compiler/simplCore/CoreMonad.lhs')
| -rw-r--r-- | compiler/simplCore/CoreMonad.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/CoreMonad.lhs b/compiler/simplCore/CoreMonad.lhs index faec02e9c6..ad4a0e1a1b 100644 --- a/compiler/simplCore/CoreMonad.lhs +++ b/compiler/simplCore/CoreMonad.lhs @@ -274,7 +274,7 @@ interactiveInScope hsc_env te1 = mkTypeEnvWithImplicits (ic_tythings ictxt) te = extendTypeEnvWithIds te1 (map instanceDFunId cls_insts) ids = typeEnvIds te - tyvars = foldr (unionVarSet . tyVarsOfType . idType) emptyVarSet ids + tyvars = mapUnionVarSet (tyVarsOfType . idType) ids -- Why the type variables? How can the top level envt have free tyvars? -- I think it's because of the GHCi debugger, which can bind variables -- f :: [t] -> [t] |