diff options
| author | simonpj@microsoft.com <unknown> | 2007-05-07 16:16:53 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-05-07 16:16:53 +0000 |
| commit | d914b83e6b1baafc8d830eff1aedbe55d25d84cc (patch) | |
| tree | 64f612bff1bbae99049bbd32ab0555ea1c9ca3fe /compiler/hsSyn/HsBinds.lhs | |
| parent | 043fc77bbc259cfa83e31fc456cdf6a098c2f757 (diff) | |
| download | haskell-d914b83e6b1baafc8d830eff1aedbe55d25d84cc.tar.gz | |
Fix comments on HsWrapper type
Diffstat (limited to 'compiler/hsSyn/HsBinds.lhs')
| -rw-r--r-- | compiler/hsSyn/HsBinds.lhs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs index f2da8bfef7..1d7bc2fa9b 100644 --- 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 - | 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 |