[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 (file)
--- 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