Commit a56456df authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments and debug output only

parent 29cc690e
......@@ -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}
......
......@@ -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 }) }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment