Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/0b06d68d22679eb6a29cb8b789004af1cea61847 >--------------------------------------------------------------- commit 0b06d68d22679eb6a29cb8b789004af1cea61847 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Wed Oct 3 08:13:46 2012 +0100 Improve constraint solver depth error slightly >--------------------------------------------------------------- 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 4f95abc..0fb0194 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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
