summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonpj <unknown>2001-11-19 16:33:17 +0000
committersimonpj <unknown>2001-11-19 16:33:17 +0000
commit615a5546467c7864c765adf40706f23be3fa28b6 (patch)
treea25a1abc3c1912b9f21c7239a4927b8f3c2a16f7
parentd8af6b8ce9d241a8f8d6878e2400aa8577f552bc (diff)
downloadhaskell-615a5546467c7864c765adf40706f23be3fa28b6.tar.gz
[project @ 2001-11-19 16:33:17 by simonpj]
Improve error msg
-rw-r--r--ghc/compiler/typecheck/TcMType.lhs2
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs
index d296057bd2..e5201a91b4 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