From a162b85d26966ba0eecc4d2ae02d4fd71f5cb9f8 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 10 Apr 2008 11:31:05 +0000 Subject: [PATCH] Improve error message layout slightly --- compiler/typecheck/TcMType.lhs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index fc434d8..b9db015 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -1179,10 +1179,10 @@ check_arg_type rank ty ; checkTc (not (isUnLiftedType ty)) (unliftedArgErr ty) } ---------------------------------------- -forAllTyErr ty = ptext SLIT("Illegal polymorphic or qualified type:") <+> ppr ty -unliftedArgErr ty = ptext SLIT("Illegal unlifted type:") <+> ppr ty -ubxArgTyErr ty = ptext SLIT("Illegal unboxed tuple type as function argument:") <+> ppr ty -kindErr kind = ptext SLIT("Expecting an ordinary type, but found a type of kind") <+> ppr kind +forAllTyErr ty = sep [ptext SLIT("Illegal polymorphic or qualified type:"), ppr ty] +unliftedArgErr ty = sep [ptext SLIT("Illegal unlifted type:"), ppr ty] +ubxArgTyErr ty = sep [ptext SLIT("Illegal unboxed tuple type as function argument:"), ppr ty] +kindErr kind = sep [ptext SLIT("Expecting an ordinary type, but found a type of kind"), ppr kind] \end{code} Note [Liberal type synonyms] -- 1.7.10.4