diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/ghci/Debugger.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/ghci/Debugger.hs b/compiler/ghci/Debugger.hs index a56b27b876..4e610685eb 100644 --- a/compiler/ghci/Debugger.hs +++ b/compiler/ghci/Debugger.hs @@ -99,7 +99,11 @@ pprintClosureCommand session bindThings force str = do ids = typeEnvIds type_env ids' = map (\id -> id `setIdType` substTy subst (idType id)) ids type_env'= extendTypeEnvWithIds type_env ids' - ictxt' = ictxt { ic_type_env = type_env' } + subst_dom= varEnvKeys$ getTvSubstEnv subst + ictxt' = ictxt { ic_type_env = type_env' + , ic_tyvars = foldl' delVarSetByKey + (ic_tyvars ictxt) + subst_dom } writeIORef ref (hsc_env {hsc_IC = ictxt'}) tidyTermTyVars :: Session -> Term -> IO Term |