From 6e30aeae5b37636c221d5627e9a9649894075ce8 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Thu, 24 Oct 2013 15:55:20 +0100
Subject: [PATCH] Add a tiny bit more tracing
---
compiler/typecheck/TcSimplify.lhs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 16cabeb891f6..1d8a9208391e 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -674,7 +674,8 @@ simpl_loop n implics
| n > 10
= traceTcS "solveWanteds: loop!" empty >> return implics
| otherwise
- = do { (floated_eqs, unsolved_implics) <- solveNestedImplications implics
+ = do { traceTcS "simpl_loop, iteration" (int n)
+ ; (floated_eqs, unsolved_implics) <- solveNestedImplications implics
; if isEmptyBag floated_eqs
then return unsolved_implics
else
--
GitLab