diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-11 09:02:25 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 11:55:41 +0000 |
| commit | 6e0c0fd2e09c552bf38e22645347dbb2e7327e8e (patch) | |
| tree | 440db54a742037c013bc650fc52eafc2ff62d581 /compiler/typecheck/TcSimplify.hs | |
| parent | b7e5c302173f420780a1fdc8b599549298d286c3 (diff) | |
| download | haskell-6e0c0fd2e09c552bf38e22645347dbb2e7327e8e.tar.gz | |
Improve debug printing/warnings
Diffstat (limited to 'compiler/typecheck/TcSimplify.hs')
| -rw-r--r-- | compiler/typecheck/TcSimplify.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs index c85444ef77..4d93912bad 100644 --- a/compiler/typecheck/TcSimplify.hs +++ b/compiler/typecheck/TcSimplify.hs @@ -1018,7 +1018,7 @@ simpl_loop n limit floated_eqs no_new_scs = return wc -- Done! | n `intGtLimit` limit - = failTcS (hang (ptext (sLit "solveWanteds: too many iterations") + = do { warnTcS (hang (ptext (sLit "solveWanteds: too many iterations") <+> parens (ptext (sLit "limit =") <+> ppr limit)) 2 (vcat [ ptext (sLit "Unsolved:") <+> ppr wc , ppUnless (isEmptyBag floated_eqs) $ @@ -1027,6 +1027,7 @@ simpl_loop n limit floated_eqs no_new_scs ptext (sLit "New superclasses found") , ptext (sLit "Set limit with -fconstraint-solver-iterations=n; n=0 for no limit") ])) + ; return wc } | otherwise = do { traceTcS "simpl_loop, iteration" (int n) |