Make the treatment of equalities more uniform

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

diff --git a/compiler/hsSyn/HsPat.lhs b/compiler/hsSyn/HsPat.lhs
index a524ab8..87f4717 100644 (file)
--- a/compiler/hsSyn/HsPat.lhs
+++ b/compiler/hsSyn/HsPat.lhs
@@ -97,9 +97,10 @@ data Pat id
 
   | ConPatOut {
        pat_con   :: Located DataCon,
-       pat_tvs   :: [TyVar],           -- Existentially bound type variables
-                                       --   including any bound coercion variables
-       pat_dicts :: [id],              -- Ditto dictionaries
+       pat_tvs   :: [TyVar],           -- Existentially bound type variables (tyvars only)
+       pat_dicts :: [id],              -- Ditto *coercion variables* and *dictionaries*
+                                       -- One reason for putting coercion variable here, I think,
+                                       --      is to ensure their kinds are zonked
        pat_binds :: DictBinds id,      -- Bindings involving those dictionaries
        pat_args  :: HsConPatDetails id,
        pat_ty    :: Type               -- The type of the pattern