X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcEnv.lhs;h=d0388456e7ad153fdf1e3e84ae32f25d871e278b;hp=259e946ea363443e91cf61aed3c9c0a0663d7425;hb=61bcd16d4f3d4cf84b26bf7bb92f16f0440b7071;hpb=08a9d7341402232672fcff9062454e6ba1ae8bd1

diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs
index 259e946..d038845 100644
--- a/compiler/typecheck/TcEnv.lhs
+++ b/compiler/typecheck/TcEnv.lhs
@@ -68,7 +68,6 @@ import TyCon
 import TypeRep
 import Class
 import Name
-import PrelNames
 import NameEnv
 import OccName
 import HscTypes
@@ -141,7 +140,7 @@ Then the renamer (which does not keep track of what is a record selector
 and what is not) will rename the definition thus
 	f_7 = e { f_7 = True }
 Now the type checker will find f_7 in the *local* type environment, not
-the global one. It's wrong, of course, but we want to report a tidy
+the global (imported) one. It's wrong, of course, but we want to report a tidy
 error, not in TcEnv.notFound.  -}
 
 tcLookupDataCon :: Name -> TcM DataCon
@@ -590,8 +589,7 @@ tcMetaTy tc_name = do
 thRnBrack :: ThStage
 -- Used *only* to indicate that we are inside a TH bracket during renaming
 -- Tested by TcEnv.isBrackStage
--- This is a slight hack, used to ensure that 
---   * top-level 
+-- See Note [Top-level Names in Template Haskell decl quotes]
 thRnBrack = Brack (panic "thRnBrack1") (panic "thRnBrack2") (panic "thRnBrack3") 
 
 isBrackStage :: ThStage -> Bool