X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FBuildTyCl.lhs;h=12668abccc01c523448beac16f17889d9d284d10;hb=5e5310b3cb4f78e30cc7b90879eb016e97c214cb;hp=296b430e88ff2c84ca28227c18b2971838d07419;hpb=299c3d09f5d97c034ce0675d04cc65b9860eb73a;p=ghc-hetmet.git

diff --git a/compiler/iface/BuildTyCl.lhs b/compiler/iface/BuildTyCl.lhs
index 296b430..12668ab 100644
--- a/compiler/iface/BuildTyCl.lhs
+++ b/compiler/iface/BuildTyCl.lhs
@@ -93,7 +93,7 @@ buildAlgTyCon tc_name tvs stupid_theta rhs is_rec want_generics gadt_syn
 --
 -- (1) create a coercion that identifies the family instance type and the
 --     representation type from Step (1); ie, it is of the form 
---	   `Co tvs :: F ts :=: R tvs', where `Co' is the name of the coercion,
+--	   `Co tvs :: F ts ~ R tvs', where `Co' is the name of the coercion,
 --	   `F' the family tycon and `R' the (derived) representation tycon,
 --	   and
 -- (2) produce a `TyConParent' value containing the parent and coercion