Commit 309b08d2 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-07-10 13:06:35 by simonpj]

Improve error message; merge to STABLE
parent f477a85c
......@@ -335,7 +335,7 @@ tcGen expected_ty extra_tvs thing_inside -- We expect expected_ty to be a forall
returnTc (mkCoercion co_fn, result, free_lie)
where
free_tvs = tyVarsOfType expected_ty `unionVarSet` extra_tvs
sig_msg = ptext SLIT("When generalising the type of an expression")
sig_msg = ptext SLIT("type of an expression")
\end{code}
......
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