[project @ 2002-06-04 12:01:38 by simonpj]

Make the type-var-default warning more informative

diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs
index 38d44c2..5a7e000 100644 (file)
--- a/ghc/compiler/typecheck/TcMType.lhs
+++ b/ghc/compiler/typecheck/TcMType.lhs
@@ -414,7 +414,7 @@ mkArbitraryType tv
          = tupleTyCon Boxed (length args)      -- *-> ... ->*->*
 
          | otherwise
-         = pprTrace "Urk! Inventing strangely-kinded void TyCon" (ppr tc_name) $
+         = pprTrace "Urk! Inventing strangely-kinded void TyCon:" (ppr tc_name $$ ppr kind) $
            mkPrimTyCon tc_name kind 0 [] VoidRep
                -- Same name as the tyvar, apart from making it start with a colon (sigh)
                -- I dread to think what will happen if this gets out into an