From 182edd420fe8d5ec0d12fcabaec7d13416a77cd6 Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Mon, 30 Apr 2007 18:45:22 +0000 Subject: [PATCH] Remove skolem tyvars from the InteractiveContext once they have been instantiated by :print --- compiler/ghci/Debugger.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/compiler/ghci/Debugger.hs b/compiler/ghci/Debugger.hs index a56b27b..4e61068 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 -- 1.7.10.4