X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=b82685bee743eb6be0f534cd937a7eecf61ad522;hb=3a0ddd1f757d1c44c98227f2b2587f1b1949c897;hp=b4bf2ed6c4d9f076a1eaaff5e5fdeaa90d2055e8;hpb=8ff14137d7cbf1bc91a88d1790422b689af284af;p=ghc-hetmet.git

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index b4bf2ed..b82685b 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -50,7 +50,6 @@ import Maybes
 import SrcLoc
 import Util
 import DynFlags
-import Breakpoints
 import Control.Monad
 
 import Data.List
@@ -211,7 +210,7 @@ typecheckIface iface
 			      , md_fam_insts = fam_insts
 			      , md_rules     = rules
 			      , md_exports   = exports
-                              , md_dbg_sites = noDbgSites
+                              , md_modBreaks = emptyModBreaks
 			      }
     }
 \end{code}
@@ -224,11 +223,14 @@ typecheckIface iface
 %************************************************************************
 
 \begin{code}
-tcHiBootIface :: Module -> TcRn ModDetails
+tcHiBootIface :: HscSource -> Module -> TcRn ModDetails
 -- Load the hi-boot iface for the module being compiled,
 -- if it indeed exists in the transitive closure of imports
 -- Return the ModDetails, empty if no hi-boot iface
-tcHiBootIface mod
+tcHiBootIface hsc_src mod
+  | isHsBoot hsc_src		-- Already compiling a hs-boot file
+  = return emptyModDetails
+  | otherwise
   = do 	{ traceIf (text "loadHiBootInterface" <+> ppr mod)
 
 	; mode <- getGhcMode
@@ -380,7 +382,7 @@ tcIfaceDecl ignore_prags
    = bindIfaceTyVars tv_bndrs $ \ tyvars -> do
      { tc_name <- lookupIfaceTop occ_name
      ; rhs_tyki <- tcIfaceType rdr_rhs_ty
-     ; let rhs = if isOpen then OpenSynTyCon rhs_tyki 
+     ; let rhs = if isOpen then OpenSynTyCon rhs_tyki Nothing
 			   else SynonymTyCon rhs_tyki
      ; return (ATyCon (buildSynTyCon tc_name tyvars rhs))
      }
@@ -499,7 +501,7 @@ tcIfaceInst (IfaceInst { ifDFun = dfun_occ, ifOFlag = oflag,
   = do	{ dfun    <- forkM (ptext SLIT("Dict fun") <+> ppr dfun_occ) $
 		     tcIfaceExtId dfun_occ
         ; let mb_tcs' = map (fmap ifaceTyConName) mb_tcs
-	; return (mkImportedInstance cls mb_tcs' orph dfun oflag) }
+	; return (mkImportedInstance cls mb_tcs' dfun oflag) }
 
 tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
 tcIfaceFamInst (IfaceFamInst { ifFamInstTyCon = tycon, 
@@ -544,12 +546,13 @@ tcIfaceRule (IfaceRule {ifRuleName = name, ifActivation = act, ifRuleBndrs = bnd
 		   ; return (bndrs', args', rhs') }
 	; let mb_tcs = map ifTopFreeName args
         ; lcl <- getLclEnv
-        ; let this_module = if_mod lcl
 	; returnM (Rule { ru_name = name, ru_fn = fn, ru_act = act, 
 			  ru_bndrs = bndrs', ru_args = args', 
-			  ru_rhs = rhs', ru_orph = orph,
+			  ru_rhs = rhs', 
 			  ru_rough = mb_tcs,
-			  ru_local = nameModule fn == this_module }) }
+			  ru_local = False }) }	-- An imported RULE is never for a local Id
+						-- or, even if it is (module loop, perhaps)
+						-- we'll just leave it in the non-local set
   where
 	-- This function *must* mirror exactly what Rules.topFreeName does
 	-- We could have stored the ru_rough field in the iface file