diff options
| author | simonpj@microsoft.com <unknown> | 2008-09-05 17:17:31 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-09-05 17:17:31 +0000 |
| commit | 3444b48ef7644c235d7f164f8837090dc30c23bb (patch) | |
| tree | 886c782b59dcde73a299d460f16db918ec298260 /compiler | |
| parent | 55a95e74e844fee27a9990beb9350b033a4e1344 (diff) | |
| download | haskell-3444b48ef7644c235d7f164f8837090dc30c23bb.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/hsSyn/HsBinds.lhs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs index b4dc5b29cf..6a3f1b0fb1 100644 --- 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 + | 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 |