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:
043fc77
)
Fix comments on HsWrapper type
author
simonpj@microsoft.com
<unknown>
Mon, 7 May 2007 16:16:53 +0000
(16:16 +0000)
committer
simonpj@microsoft.com
<unknown>
Mon, 7 May 2007 16:16:53 +0000
(16:16 +0000)
compiler/hsSyn/HsBinds.lhs
patch
|
blob
|
history
diff --git
a/compiler/hsSyn/HsBinds.lhs
b/compiler/hsSyn/HsBinds.lhs
index
f2da8bf
..
1d7bc2f
100644
(file)
--- a/
compiler/hsSyn/HsBinds.lhs
+++ b/
compiler/hsSyn/HsBinds.lhs
@@
-319,10
+319,10
@@
data HsWrapper
| WpCo Coercion -- A cast: [] `cast` co
-- Guaranteedn not the identity coercion
| WpCo Coercion -- A cast: [] `cast` co
-- Guaranteedn not the identity coercion
- | WpApp Var -- [] x; the xi are dicts or coercions
- | WpTyApp Type -- [] t
- | WpLam Id -- \x. []; the xi are dicts or coercions
- | WpTyLam TyVar -- \a. []
+ | WpApp Var -- [] d the 'd' is a type-class dictionary
+ | WpTyApp Type -- [] t the 't' is a type or corecion
+ | WpLam Id -- \d. [] the 'd' is a type-class dictionary
+ | WpTyLam TyVar -- \a. [] the 'a' is a type or coercion variable
-- Non-empty bindings, so that the identity coercion
-- is always exactly WpHole
-- Non-empty bindings, so that the identity coercion
-- is always exactly WpHole