[commit: ghc] master: A bit more trace information in an ASSERT failure (14046d0)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/14046d0387188a356d0fbc342506ca5ed3001b1c/ghc

>---------------------------------------------------------------

commit 14046d0387188a356d0fbc342506ca5ed3001b1c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 14 12:48:31 2014 +0100

    A bit more trace information in an ASSERT failure


>---------------------------------------------------------------

14046d0387188a356d0fbc342506ca5ed3001b1c
 compiler/typecheck/TcMType.lhs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index b9f3d25..f646305 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -410,9 +410,9 @@ writeMetaTyVarRef tyvar ref ty
                     -- Don't check kinds for updates to coercion variables
                && not (zonked_ty_kind `tcIsSubKind` zonked_tv_kind))
        $ WARN( True, hang (text "Ill-kinded update to meta tyvar")
-                        2 (    ppr tyvar <+> text "::" <+> ppr tv_kind 
+                        2 (    ppr tyvar <+> text "::" <+> (ppr tv_kind $$ ppr zonked_tv_kind)
                            <+> text ":="
-                           <+> ppr ty    <+> text "::" <+> ppr ty_kind) )
+                           <+> ppr ty    <+> text "::" <+> (ppr ty_kind $$ ppr zonked_ty_kind) ) )
          (return ()) }
   where
     tv_kind = tyVarKind tyvar