[project @ 2003-02-03 15:41:52 by simonpj]

Modify error message

ghc/compiler/typecheck/TcUnify.lhs

@@ -332,7 +332,7 @@ tcGen expected_ty extra_tvs thing_inside	-- We expect expected_ty to be a forall
     returnM (mkCoercion co_fn, result)
   where
     free_tvs = tyVarsOfType expected_ty `unionVarSet` extra_tvs
-    sig_msg  = ptext SLIT("type of an expression")
+    sig_msg  = ptext SLIT("expected type of an expression")
 \end{code}