X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMType.lhs;h=b9db015e1dafc4ad612848a0aa4289e6e798f0b5;hp=fc434d897fe76032f174243f6069fee172b62f1c;hb=a162b85d26966ba0eecc4d2ae02d4fd71f5cb9f8;hpb=f09bc7d19f2f87bf6540afd3240f3c274b8a4af2 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]