X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=2745f78a6c19a40a3e1dd899591286f8ab244cd6;hb=6f531423b6927191dac4958ed11086def74cb3b3;hp=0943cfb792e9b680126ba11e1eaacce63868249e;hpb=b5bafea8126d85bdf7017664644e2d8135c3ba1e;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 0943cfb..2745f78 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -38,7 +38,7 @@ import Type		( Type, PredType(..), ThetaType, UsageAnn(..),
 			  boxedTypeKind, unboxedTypeKind, tyVarsOfType,
 			  mkArrowKinds, getTyVar_maybe, getTyVar,
 		  	  tidyOpenType, tidyOpenTypes, tidyTyVar, tidyTyVars,
-			  tyVarsOfType, tyVarsOfTypes
+			  tyVarsOfType, tyVarsOfTypes, mkForAllTys
 			)
 import PprType		( pprConstraint, pprType )
 import Subst		( mkTopTyVarSubst, substTy )
@@ -688,9 +688,7 @@ sigCtxt when sig_tyvars sig_theta sig_tau tidy_env
 	(env1, tidy_sig_tyvars)  = tidyTyVars tidy_env sig_tyvars
 	(env2, tidy_sig_rho)	 = tidyOpenType env1 (mkRhoTy sig_theta sig_tau)
 	(env3, tidy_actual_tau)  = tidyOpenType env1 actual_tau
-	forall | null sig_tyvars = empty
-	       | otherwise	 = ptext SLIT("forall") <+> hsep (map ppr tidy_sig_tyvars) <> dot
-	msg = vcat [ptext SLIT("Signature type:    ") <+> forall <+> pprType tidy_sig_rho,
+	msg = vcat [ptext SLIT("Signature type:    ") <+> pprType (mkForAllTys tidy_sig_tyvars tidy_sig_rho),
 		    ptext SLIT("Type to generalise:") <+> pprType tidy_actual_tau,
 		    when
 		   ]