X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;h=021655b50beb1c524e25d40bb0e2cad325e8072d;hb=32d1cd7c071aa551d45ae0b44eb48a82d4a138a2;hp=4107d307ff41dca41e0ebaa3f1f38de5608a9029;hpb=523d16b79ef458ee7a3c9d19896e08d36c2dcbb6;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index 4107d30..021655b 100644
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -714,7 +714,7 @@ checkDistinctTyVars sig_tvs
     bomb_out sig_tv1 sig_tv2
        = failWithTc (ptext SLIT("Quantified type variable") <+> quotes (ppr tidy_tv1) 
 		     <+> ptext SLIT("is unified with another quantified type variable") 
-		     <+> ppr tidy_tv2)
+		     <+> quotes (ppr tidy_tv2))
        where
 	 (env1,  tidy_tv1) = tidyOpenTyVar emptyTidyEnv sig_tv1
 	 (_env2, tidy_tv2) = tidyOpenTyVar env1	        sig_tv2