From e78b0e0e18134acb175af2e656ce22988284af33 Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 2 Apr 2002 13:07:48 +0000 Subject: [PATCH] [project @ 2002-04-02 13:07:48 by simonpj] Error message tidy up --- ghc/compiler/typecheck/TcMType.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs index 6f97acb..15d4150 100644 --- a/ghc/compiler/typecheck/TcMType.lhs +++ b/ghc/compiler/typecheck/TcMType.lhs @@ -844,7 +844,7 @@ checkFreeness forall_tyvars theta freeErr pred = sep [ptext SLIT("All of the type variables in the constraint") <+> quotes (pprPred pred) <+> ptext SLIT("are already in scope"), - nest 4 (ptext SLIT("At least one must be universally quantified here")) + nest 4 (ptext SLIT("(at least one must be universally quantified here)")) ] \end{code} @@ -1007,7 +1007,7 @@ fieldTypeMisMatch field_name = sep [ptext SLIT("Different constructors give different types for field"), quotes (ppr field_name)] existentialCtxt con = ptext SLIT("When checking the existential context of constructor") - <+> ppr con + <+> quotes (ppr con) \end{code} -- 1.7.10.4