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

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