Major change in compilation of instance declarations (fix Trac #955, #2328)

[ghc-hetmet.git] / compiler / hsSyn / HsBinds.lhs

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 8847e62..b4dc5b2 100644 (file)
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -338,9 +338,9 @@ data HsWrapper
                                --      = (\a1..an \x1..xn. [])
 
   | WpCast Coercion            -- A cast:  [] `cast` co
-                               -- Guaranteedn not the identity coercion
+                               -- 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)