projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make -fliberate-case work for GADTs
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcPat.lhs
diff --git
a/ghc/compiler/typecheck/TcPat.lhs
b/ghc/compiler/typecheck/TcPat.lhs
index
ce9e99b
..
4c56b08
100644
(file)
--- a/
ghc/compiler/typecheck/TcPat.lhs
+++ b/
ghc/compiler/typecheck/TcPat.lhs
@@
-98,7
+98,7
@@
tcPats ctxt pats tys res_ty thing_inside
-----------------
tcPat :: PatCtxt
-----------------
tcPat :: PatCtxt
- -> LPat Name -> TcType
+ -> LPat Name -> BoxySigmaType
-> BoxyRhoType -- Result type
-> (BoxyRhoType -> TcM a) -- Checker for body, given its result type
-> TcM (LPat TcId, a)
-> BoxyRhoType -- Result type
-> (BoxyRhoType -> TcM a) -- Checker for body, given its result type
-> TcM (LPat TcId, a)