From 6a1200670401a9d218f45bf913d0bd6fe95510ce Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 21 Dec 2004 12:09:14 +0000
Subject: [PATCH] [project @ 2004-12-21 12:09:14 by simonpj] Comments only

---
 ghc/compiler/typecheck/TcPat.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 6cedb81..77de074 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -114,7 +114,8 @@ tcCheckPats ctxt pats tys thing_inside 	-- A trivial wrapper
 %************************************************************************
 
 \begin{code}
-data PatCtxt = LamPat Bool | LetPat TcSigFun
+data PatCtxt = LamPat Bool 	-- Used for lambda, case, do-notation etc
+	     | LetPat TcSigFun	-- Used for let(rec) bindings
 	-- True <=> we are checking the case expression, 
 	--		so can do full-blown refinement
 	-- False <=> inferring, do no refinement
-- 
1.7.10.4