X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSplice.lhs;h=309874b26e642c998803e08f460abc6f7116261f;hb=e5a8d57c85d42007c8cc561e6d6b805c23603fc0;hp=0ce334a5c67956e48349f4d108edcf2f4f7a3ba1;hpb=9bcd95bad83ee937c178970e8b729732e680fe1e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs
index 0ce334a..309874b 100644
--- a/compiler/typecheck/TcSplice.lhs
+++ b/compiler/typecheck/TcSplice.lhs
@@ -381,7 +381,6 @@ runAnnotation target expr = do
     expr_ty <- newFlexiTyVarTy liftedTypeKind
     
     -- Find the classes we want instances for in order to call toAnnotationWrapper
-    typeable_class <- tcLookupClass typeableClassName
     data_class <- tcLookupClass dataClassName
     
     -- Check the instances we require live in another module (we want to execute it..)
@@ -566,7 +565,7 @@ kcTopSpliceType expr
 	; let doc = ptext (sLit "In the spliced type") <+> ppr hs_ty2
 	; hs_ty3 <- checkNoErrs (rnLHsType doc hs_ty2)
 
-	; kcHsType hs_ty3 }
+	; kcLHsType hs_ty3 }
 \end{code}
 
 %************************************************************************
@@ -826,11 +825,7 @@ lookupThName_maybe th_name
 	     ; rdr_env <- getLocalRdrEnv
   	     ; case lookupLocalRdrEnv rdr_env rdr_name of
 		 Just name -> return (Just name)
-	         Nothing | not (isSrcRdrName rdr_name)	-- Exact, Orig
-		         -> do { name <- lookupImportedName rdr_name
-			       ; return (Just name) }
-		    	 | otherwise			-- Unqual, Qual
-		    	 -> lookupSrcOcc_maybe rdr_name }
+	         Nothing   -> lookupGlobalOccRn_maybe rdr_name }
 
 tcLookupTh :: Name -> TcM TcTyThing
 -- This is a specialised version of TcEnv.tcLookup; specialised mainly in that
@@ -877,7 +872,7 @@ reifyThing (AGlobal (AnId id))
   = do	{ ty <- reifyType (idType id)
 	; fix <- reifyFixity (idName id)
 	; let v = reifyName id
-	; case globalIdDetails id of
+	; case idDetails id of
 	    ClassOpId cls    -> return (TH.ClassOpI v ty (reifyName cls) fix)
 	    _                -> return (TH.VarI     v ty Nothing fix)
     }