[project @ 2005-04-28 10:09:41 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcRules.lhs

diff --git a/ghc/compiler/typecheck/TcRules.lhs b/ghc/compiler/typecheck/TcRules.lhs
index d78003b..5365922 100644 (file)
--- a/ghc/compiler/typecheck/TcRules.lhs
+++ b/ghc/compiler/typecheck/TcRules.lhs
@@ -61,7 +61,7 @@ tcRule (HsRule name act vars lhs rhs)
        --         See the 'lhs_dicts' in tcSimplifyAndCheck for the RHS
 
        -- We initially quantify over any tyvars free in *either* the rule
-       -- *or* the bound variables.  The latter is important.  Consider
+       --  *or* the bound variables.  The latter is important.  Consider
        --      ss (x,(y,z)) = (x,z)
        --      RULE:  forall v. fst (ss v) = fst v
        -- The type of the rhs of the rule is just a, but v::(a,(b,c))