X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=97976a2c956b83f3823a882bda20d89be51f71a6;hb=61182b3262baaa532c9f1c4730e255c8e2250ad7;hp=cb6021ccf429a81927e02ac693fa01c8ab793608;hpb=fbbd2bfaa54b4424edc70cbc4bd4ff29e324f6a2;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index cb6021c..97976a2 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -861,7 +861,7 @@ Note [NO TYVARS]
 
 The excitement comes when simplifying the bindings for h.  Initially
 try to simplify {y @ [[t1]] t2, 0 @ t1}, with initial qtvs = {t2}.
-From this we get t1:=:t2, but also various bindings.  We can't forget
+From this we get t1~t2, but also various bindings.  We can't forget
 the bindings (because of [LOOP]), but in fact t1 is what g is
 polymorphic in.  
 
@@ -977,7 +977,7 @@ makeImplicationBind :: InstLoc -> [TcTyVar]
 --	(ir1, .., irn) = f qtvs givens
 -- where f is (evidence for) the new implication constraint
 --	f :: forall qtvs. givens => (ir1, .., irn)
--- qtvs includes coercion variables.
+-- qtvs includes coercion variables
 --
 -- This binding must line up the 'rhs' in reduceImplication
 makeImplicationBind loc all_tvs
@@ -997,7 +997,7 @@ makeImplicationBind loc all_tvs
 	      name = mkInternalName uniq (mkVarOcc "ic") span
 	      implic_inst = ImplicInst { tci_name = name,
 					 tci_tyvars = all_tvs, 
-					 tci_given = (eq_givens ++ dict_givens),
+					 tci_given = eq_givens ++ dict_givens,
                                                        -- same order as binders
 					 tci_wanted = irreds, 
                                          tci_loc = loc }