[project @ 2002-09-09 12:55: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 9a574b3..795c61e 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.lhs
+++ b/ghc/compiler/typecheck/TcUnify.lhs
@@ -61,7 +61,7 @@ import VarEnv
 import Name            ( isSystemName, getSrcLoc )
 import ErrUtils                ( Message )
 import BasicTypes      ( Boxity, Arity, isBoxed )
-import Util            ( equalLength )
+import Util            ( equalLength, notNull )
 import Maybe           ( isNothing )
 import Outputable
 \end{code}
@@ -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}    
 
     
@@ -1186,7 +1186,7 @@ find_thing ignore_it tidy_env (ATyVar tv)
 -----------------------
 escape_msg sig_tv tv globs
   = mk_msg sig_tv <+> ptext SLIT("escapes") $$
-    if not (null globs) then
+    if notNull globs then
        vcat [pp_it <+> ptext SLIT("is mentioned in the environment:"), 
              nest 2 (vcat globs)]
      else