projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f85ef2f
)
[project @ 2005-07-12 13:36:49 by simonpj]
author
simonpj
<unknown>
Tue, 12 Jul 2005 13:36:49 +0000
(13:36 +0000)
committer
simonpj
<unknown>
Tue, 12 Jul 2005 13:36:49 +0000
(13:36 +0000)
Comment only
ghc/compiler/typecheck/TcPat.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcPat.lhs
b/ghc/compiler/typecheck/TcPat.lhs
index
33119ea
..
ac9ac16
100644
(file)
--- a/
ghc/compiler/typecheck/TcPat.lhs
+++ b/
ghc/compiler/typecheck/TcPat.lhs
@@
-126,6
+126,8
@@
tcPatBndr LamPat bndr_name pat_ty
= do { pat_ty' <- zapExpectedType pat_ty argTypeKind
-- If pat_ty is Expected, this returns the appropriate
-- SigmaType. In Infer mode, we create a fresh type variable.
+ -- Note argTypeKind: the variable can have an unboxed type,
+ -- but not an unboxed tuple.
-- Note the SigmaType: we can get
-- data T = MkT (forall a. a->a)
-- f t = case t of { MkT g -> ... }