From: simonpj Date: Mon, 19 Nov 2001 16:33:17 +0000 (+0000) Subject: [project @ 2001-11-19 16:33:17 by simonpj] X-Git-Tag: Approximately_9120_patches~561 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=615a5546467c7864c765adf40706f23be3fa28b6;p=ghc-hetmet.git [project @ 2001-11-19 16:33:17 by simonpj] Improve error msg --- diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs index d296057..e5201a9 100644 --- a/ghc/compiler/typecheck/TcMType.lhs +++ b/ghc/compiler/typecheck/TcMType.lhs @@ -795,7 +795,7 @@ checkAmbiguity forall_tyvars theta tau ambigErr pred = sep [ptext SLIT("Ambiguous constraint") <+> quotes (pprPred pred), nest 4 (ptext SLIT("At least one of the forall'd type variables mentioned by the constraint") $$ - ptext SLIT("must be reachable from the type after the =>"))] + ptext SLIT("must be reachable from the type after the '=>'"))] freeErr pred