diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-03 08:13:46 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-03 08:13:46 +0100 |
| commit | 0b06d68d22679eb6a29cb8b789004af1cea61847 (patch) | |
| tree | 5b923f565fbd0773369a7f118b567462f7ead090 /compiler | |
| parent | 419af69c1bea2cecce7b4bf58162cbfac81526f2 (diff) | |
| download | haskell-0b06d68d22679eb6a29cb8b789004af1cea61847.tar.gz | |
Improve constraint solver depth error slightly
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcErrors.lhs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/typecheck/TcErrors.lhs b/compiler/typecheck/TcErrors.lhs index 4f95abc933..0fb0194d25 100644 --- a/compiler/typecheck/TcErrors.lhs +++ b/compiler/typecheck/TcErrors.lhs @@ -1196,11 +1196,11 @@ are created by in RtClosureInspect.zonkRTTIType. solverDepthErrorTcS :: Ct -> TcM a solverDepthErrorTcS ct = setCtLoc loc $ - do { ct <- zonkCt ct + do { pred <- zonkTcType (ctPred ct) ; env0 <- tcInitTidyEnv - ; let tidy_env = tidyFreeTyVars env0 (tyVarsOfCt ct) - tidy_ct = tidyCt tidy_env ct - ; failWithTcM (tidy_env, hang msg 2 (ppr tidy_ct)) } + ; let tidy_env = tidyFreeTyVars env0 (tyVarsOfType pred) + tidy_pred = tidyType tidy_env pred + ; failWithTcM (tidy_env, hang msg 2 (ppr tidy_pred)) } where loc = cc_loc ct depth = ctLocDepth loc |