X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=b4dc5b29cf007d573786dc7d9140b1ce6e991efb;hb=f16dbbbe59cf3aa19c5fd384560a1b89076d7bc8;hp=b8501d770f69c6e957d289bdfa69159221c2ceea;hpb=08ffc9074d79fd8117a090024068936a04360a17;p=ghc-hetmet.git diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs index b8501d7..b4dc5b2 100644 --- a/compiler/hsSyn/HsBinds.lhs +++ b/compiler/hsSyn/HsBinds.lhs @@ -340,7 +340,7 @@ data HsWrapper | WpCast Coercion -- A cast: [] `cast` co -- Guaranteed not the identity coercion - | WpApp Var -- [] d the 'd' is a type-class dictionary + | WpApp Var -- [] d the 'd' is a type-class dictionary or coercion variable | WpTyApp Type -- [] t the 't' is a type or corecion | 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)