Commit 182edd42 authored by mnislaih's avatar mnislaih
Browse files

Remove skolem tyvars from the InteractiveContext once they have been instantiated by :print

parent ee03fe2f
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment