X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=3c23921207adb680755cbf2e408d089b347b4f80;hp=9a08e9a6535d65661922adc6ecf5a5e1523ccd82;hb=72e37dedee9e8a109ebda4b13e49b7133b530591;hpb=2423c249f5ca7785d0ec89eb33e72662da7561c1

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index 9a08e9a..3c23921 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -306,11 +306,15 @@ data TcLclEnv		-- Changes as we move inside an expression
 		-- Maintained during renaming, of course, but also during
 		-- type checking, solely so that when renaming a Template-Haskell
 		-- splice we have the right environment for the renamer.
+		--
+		-- Used only for names bound within a value binding (bound by
+		-- lambda, case, where, let etc), but *not* for top-level names.
+		-- 
+		-- Does *not* include global name envt; may shadow it
+		-- Includes both ordinary variables and type variables;
+		-- they are kept distinct because tyvar have a different
+		-- occurrence contructor (Name.TvOcc)
 		-- 
-		--   Does *not* include global name envt; may shadow it
-		--   Includes both ordinary variables and type variables;
-		--   they are kept distinct because tyvar have a different
-		--   occurrence contructor (Name.TvOcc)
 		-- We still need the unsullied global name env so that
     		--   we can look up record field names