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

[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.lhs

diff --git a/ghc/compiler/typecheck/TcUnify.lhs b/ghc/compiler/typecheck/TcUnify.lhs
index f8b402e..fd22557 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.lhs
+++ b/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}