Comment only

[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index 62281b5..f16e9a8 100644 (file)
--- 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