From: simonpj <unknown>
Date: Tue, 21 Dec 2004 12:09:14 +0000 (+0000)
Subject: [project @ 2004-12-21 12:09:14 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1328
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6a1200670401a9d218f45bf913d0bd6fe95510ce;hp=b783b8644d142d12c832e261ba60bc81c19c3a12;p=ghc-hetmet.git

[project @ 2004-12-21 12:09:14 by simonpj]
Comments only
---

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