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:
55a95e7
)
Comments only
author
simonpj@microsoft.com
<unknown>
Fri, 5 Sep 2008 17:17:31 +0000
(17:17 +0000)
committer
simonpj@microsoft.com
<unknown>
Fri, 5 Sep 2008 17:17:31 +0000
(17:17 +0000)
compiler/hsSyn/HsBinds.lhs
patch
|
blob
|
history
diff --git
a/compiler/hsSyn/HsBinds.lhs
b/compiler/hsSyn/HsBinds.lhs
index
b4dc5b2
..
6a3f1b0
100644
(file)
--- a/
compiler/hsSyn/HsBinds.lhs
+++ b/
compiler/hsSyn/HsBinds.lhs
@@
-341,7
+341,11
@@
data HsWrapper
-- Guaranteed not the identity coercion
| WpApp Var -- [] d the 'd' is a type-class dictionary or coercion variable
-- Guaranteed not the identity coercion
| WpApp Var -- [] d the 'd' is a type-class dictionary or coercion variable
+
| WpTyApp Type -- [] t the 't' is a type or corecion
| WpTyApp Type -- [] t the 't' is a type or corecion
+ -- ToDo: it'd be tidier if 't' was always a type (not coercion),
+ -- but that is inconvenient in Inst.instCallDicts
+
| WpLam Var -- \d. [] the 'd' is a type-class dictionary or coercion variable
| WpTyLam TyVar -- \a. [] the 'a' is a type variable (not coercion var)
| WpInline -- inline_me [] Wrap inline around the thing
| WpLam Var -- \d. [] the 'd' is a type-class dictionary or coercion variable
| WpTyLam TyVar -- \a. [] the 'a' is a type variable (not coercion var)
| WpInline -- inline_me [] Wrap inline around the thing