Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch :
http://hackage.haskell.org/trac/ghc/changeset/78b556a7806d4ebc9d35c90f5d59b4032d717f86
>---------------------------------------------------------------
commit 78b556a7806d4ebc9d35c90f5d59b4032d717f86
Author: simonpj at microsoft.com <unknown>
Date: Thu Feb 17 17:59:04 2011 +0000
Change typechecker-trace output slightly
>---------------------------------------------------------------
compiler/typecheck/TcSimplify.lhs | 7 ++++---
1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index ccdadee..55520fb 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -768,13 +768,14 @@ solveNestedImplications just_given_inert unsolved_cans implics
| otherwise
= do { -- See Note [Preparing inert set for implications]
-- Push the unsolved wanteds inwards, but as givens
- traceTcS "solveWanteds: preparing inerts for implications {" empty
-
- ; let pushed_givens = givensFromWanteds unsolved_cans
+ let pushed_givens = givensFromWanteds unsolved_cans
tcs_untouchables = filterVarSet isFlexiTcsTv $
tyVarsOfEvVarXs pushed_givens
-- See Note [Extra TcsTv untouchables]
+ ; traceTcS "solveWanteds: preparing inerts for implications {"
+ (vcat [ppr tcs_untouchables, ppr pushed_givens])
+
; (_, inert_for_implics) <- solveInteract just_given_inert pushed_givens
; traceTcS "solveWanteds: } now doing nested implications {" $