X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=2b0f1b3223d148fc507131a4b948d9772a763a45;hp=de310aefacc9e64c1b2b051432195c26951b0dc3;hb=c56450419ef6c819ad86ab01dca6fd2966b11305;hpb=1c1bfbe71037e9b5a925a547e590e3628df00c7b

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index de310ae..2b0f1b3 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -808,7 +808,7 @@ opt_co_tc_app env sym tc cos
   , let ty = substTy env co2
   = substTyWith [tv] [ty] opt_co1_body	-- An inefficient one-variable substitution
 
-  | otherwise	  -- Do not push sym inside top-level axioms
+  | otherwise	  -- Do *not* push sym inside top-level axioms
     		  -- e.g. if g is a top-level axiom
     		  --   g a : F a ~ a
 		  -- Then (sym (g ty)) /= g (sym ty) !!