- where
- type_env = ic_type_env ictxt
- bound_names = map idName ids
- -- Remove any shadowed bindings from the type_env;
- -- we aren't allowed any duplicates because the LocalRdrEnv is
- -- build directly from the Ids in the type env in here.
- old_bound_names = map idName (typeEnvIds type_env)
- shadowed = [ n | name <- bound_names,
- n <- old_bound_names,
- nameOccName name == nameOccName n ]
- filtered_type_env = delListFromNameEnv type_env shadowed