*** compiler/typecheck/FamInst.lhs	2010-11-08 17:39:32.000000000 -0500
--- compiler/typecheck/FamInst.lhs	2010-08-31 14:05:49.345710000 -0400
***************
*** 2,8 ****
  
  \begin{code}
  module FamInst ( 
!         checkFamInstConsistency, tcExtendLocalFamInstEnv
      ) where
  
  import HscTypes
--- 2,8 ----
  
  \begin{code}
  module FamInst ( 
!         checkFamInstConsistency, tcExtendLocalFamInstEnv, tcGetFamInstEnvs
      ) where
  
  import HscTypes
***************
*** 197,200 ****
    = setSrcSpan (mkSrcSpan loc loc) thing_inside
    where
      loc = getSrcLoc famInst
  \end{code}
--- 197,213 ----
    = setSrcSpan (mkSrcSpan loc loc) thing_inside
    where
      loc = getSrcLoc famInst
+ \end{code} 
+ 
+ \begin{code} 
+ 
+ tcGetFamInstEnvs :: TcM (FamInstEnv, FamInstEnv)
+ -- Gets both the external-package inst-env
+ -- and the home-pkg inst env (includes module being compiled)
+ tcGetFamInstEnvs 
+   = do { eps <- getEps; env <- getGblEnv
+        ; return (eps_fam_inst_env eps, tcg_fam_inst_env env) 
+        }
+ 
+ 
  \end{code}