Comments and debug output only
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 16 Apr 2013 09:33:31 +0000 (10:33 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 16 Apr 2013 09:33:31 +0000 (10:33 +0100)
compiler/typecheck/TcRules.lhs
compiler/typecheck/TcSimplify.lhs

index 1a569d0..db56540 100644 (file)
@@ -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 constraintas givens
 
 
 \begin{code}
index a196610..c0cdb75 100644 (file)
@@ -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 }) }