[commit: ghc] master: Comments and debug output only (a56456d)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/a56456dfc4c588368eac8a088785a70ba3b1210a

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

commit a56456dfc4c588368eac8a088785a70ba3b1210a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Apr 16 10:33:31 2013 +0100

    Comments and debug output only

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

 compiler/typecheck/TcRules.lhs    | 4 ++--
 compiler/typecheck/TcSimplify.lhs | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcRules.lhs b/compiler/typecheck/TcRules.lhs
index 1a569d0..db56540 100644
--- a/compiler/typecheck/TcRules.lhs
+++ b/compiler/typecheck/TcRules.lhs
@@ -121,10 +121,10 @@ revert to SimplCheck when going under an implication.
 * Step 2: Zonk the ORIGINAL lhs constraints, and partition them into
           the ones we will quantify over, and the others
 
-* Step 3: Decide on the type varialbes to quantify over
+* Step 3: Decide on the type variables to quantify over
 
 * Step 4: Simplify the LHS and RHS constraints separately, using the
-          quantified constraint sas givens
+          quantified constraints as givens
 
 
 \begin{code}
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index a196610..c0cdb75 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -511,7 +511,8 @@ simplifyRule name lhs_wanted rhs_wanted
        ; traceTc "simplifyRule" $
          vcat [ ptext (sLit "LHS of rule") <+> doubleQuotes (ftext name)
               , text "zonked_lhs_flats" <+> ppr zonked_lhs_flats 
-              , text "q_cts"      <+> ppr q_cts ]
+              , text "q_cts"      <+> ppr q_cts
+              , text "non_q_cts"  <+> ppr non_q_cts ]
 
        ; return ( map (ctEvId . ctEvidence) (bagToList q_cts)
                 , lhs_wanted { wc_flat = non_q_cts }) }