diff options
| author | simonpj@microsoft.com <unknown> | 2011-02-17 17:59:04 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2011-02-17 17:59:04 +0000 |
| commit | 78b556a7806d4ebc9d35c90f5d59b4032d717f86 (patch) | |
| tree | 00d8eca238c95d357dcdb41c80f8016b2428d0b4 /compiler | |
| parent | 6c4c33fc9cc4d9a4727a63f3a9681f7200354750 (diff) | |
| download | haskell-78b556a7806d4ebc9d35c90f5d59b4032d717f86.tar.gz | |
Change typechecker-trace output slightly
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 ccdadeedaa..55520fb8bd 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 {" $ |