From 189c20034325cb4006231d46d8d4080975754957 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Tue, 18 Apr 2006 12:56:24 +0000 Subject: [PATCH 1/1] Comment only --- compiler/typecheck/TcRnTypes.lhs | 2 ++ 1 file changed, 2 insertions(+) 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 -- 1.7.10.4