[commit: ghc] master: Comments and white space only (a2ce3af)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/a2ce3afaeb5c32556760b9b5185778a4062ba998/ghc

>---------------------------------------------------------------

commit a2ce3afaeb5c32556760b9b5185778a4062ba998
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Apr 14 09:21:27 2015 +0100

    Comments and white space only


>---------------------------------------------------------------

a2ce3afaeb5c32556760b9b5185778a4062ba998
 compiler/typecheck/TcFlatten.hs | 0
 compiler/typecheck/TcRules.hs   | 8 ++++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcRules.hs b/compiler/typecheck/TcRules.hs
index 1684118..084e5de 100644
--- a/compiler/typecheck/TcRules.hs
+++ b/compiler/typecheck/TcRules.hs
@@ -227,11 +227,15 @@ revert to SimplCheck when going under an implication.
 
 ------------------------ So the plan is this -----------------------
 
+* Step 0: typecheck the LHS and RHS to get constraints from each
+
 * Step 1: Simplify the LHS and RHS constraints all together in one bag
           We do this to discover all unification equalities
 
-* Step 2: Zonk the ORIGINAL lhs constraints, and partition them into
-          the ones we will quantify over, and the others
+* Step 2: Zonk the ORIGINAL (unsimplified) lhs constraints, to take
+          advantage of those unifications, and partition them into the
+          ones we will quantify over, and the others
+          See Note [RULE quantification over equalities]
 
 * Step 3: Decide on the type variables to quantify over