X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=f16e9a8c38d667a3220d66fdbea95ab1bfef3d73;hb=273be06fa7cb1297284dbb553ecc9be7d07df6af;hp=62281b56a171f16f75d18660bde8cd8a62958f70;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index 62281b5..f16e9a8 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -352,6 +352,8 @@ type ThLevel = Int
 	-- 	(always >= 0)
 	-- Incremented when going inside a bracket,
 	-- decremented when going inside a splice
+	-- NB: ThLevel is one greater than the 'n' in Fig 2 of the
+	--     original "Template meta-programmign for Haskell" paper
 
 impLevel, topLevel :: ThLevel
 topLevel = 1	-- Things defined at top level of this module