Commit 6a120067 authored by simonpj's avatar simonpj
Browse files

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

Comments only
parent b783b864
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment