[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 (file)
--- 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