- -- a) cached non-home-package InstEnv (gotten from pcs) inst_env0
- -- b) imported instance decls (not in the home package) inst_env1
- -- c) other modules in this package (gotten from hst) inst_env2
- -- d) imported instance decls (from this module) inst_env3
- -- e) local instance decls inst_env4
- -- f) generic instances inst_env5
- -- The result of (b) replaces the cached InstEnv in the PCS
- --
- -- Note that iface_dfuns may contain not only insts that we
- -- demand-loaded from interface files, but also instances from
- -- the current module in the case where we are loading this
- -- module's interface file in GHCi, so we partition the
- -- iface_dfuns into non-local and local instances so that we
- -- don't end up with home package instances in the PCS.
- --
- -- There can't be any instance declarations from the home
- -- package other than from the current module (with the
- -- compilation manager) because they are loaded explicitly by
- -- the compilation manager.
- let
- local_inst_info = catMaybes local_inst_infos
- hst_dfuns = foldModuleEnv ((++) . md_insts) [] hst
- in
-
--- pprTrace "tcInstDecls" (vcat [ppr imported_dfuns, ppr hst_dfuns]) $
-
- addInstDFuns pkg_inst_env hst_dfuns `thenNF_Tc` \ inst_env2 ->
- addInstInfos inst_env2 local_inst_info `thenNF_Tc` \ inst_env3 ->
- addInstInfos inst_env3 generic_inst_info `thenNF_Tc` \ inst_env4 ->
+ -- a) imported instance decls (from this module) inst_env1
+ -- b) local instance decls inst_env2
+ -- c) generic instances final_inst_env
+ addInstInfos inst_env local_inst_info `thenNF_Tc` \ inst_env1 ->
+ addInstInfos inst_env1 generic_inst_info `thenNF_Tc` \ inst_env2 ->