Commit 615a5546 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-11-19 16:33:17 by simonpj]

Improve error msg
parent d8af6b8c
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment