[project @ 2003-02-05 11:39:26 by simonpj]

Type sigs and comments only

ghc/compiler/hsSyn/HsDecls.lhs

@@ -840,6 +840,7 @@ data RuleDecl name
 	name			-- Head of LHS
 	CoreRule
 
+isSrcRule :: RuleDecl name -> Bool
 isSrcRule (HsRule _ _ _ _ _ _) = True
 isSrcRule other		       = False
 

ghc/compiler/main/HscMain.lhs

@@ -717,8 +717,9 @@ initExternalPackageState
 	where
 	   gated_decl = (gate_fn, (mod, IfaceRuleOut rdr_name rule))
 	   mod	      = nameModule name
-	   rdr_name   = nameRdrName name
-	   gate_fn vis_fn = vis_fn name	-- Load the rule whenever name is visible
+	   rdr_name   = nameRdrName name	-- Seems a bit of a hack to go back
+						-- to the RdrName
+	   gate_fn vis_fn = vis_fn name		-- Load the rule whenever name is visible
 
 initOrigNames :: OrigNameCache
 initOrigNames 

ghc/compiler/typecheck/TcExpr.lhs

@@ -12,8 +12,7 @@ module TcExpr ( tcExpr, tcExpr_id, tcMonoExpr ) where
 import {-# SOURCE #-}	TcSplice( tcSpliceExpr, tcBracket )
 import HsSyn		( HsReify(..), ReifyFlavour(..) )
 import TcType		( isTauTy )
-import TcEnv		( bracketOK, tcMetaTy, tcLookupGlobal,
-			  checkWellStaged, metaLevel )
+import TcEnv		( bracketOK, tcMetaTy, checkWellStaged, metaLevel )
 import TcSimplify	( tcSimplifyBracket )
 import Name		( isExternalName )
 import qualified DsMeta