[project @ 2003-05-27 14:15:40 by simonmar]

Use ErrUtils.showPass for printing the '*** Core Linted...' message
instead of rolling our own (also has the effect of sending this to
stderr for consistency).

Tidy up unused imports while I'm here.

diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs
index 15146ec..7470294 100644 (file)
--- a/ghc/compiler/coreSyn/CoreLint.lhs
+++ b/ghc/compiler/coreSyn/CoreLint.lhs
@@ -12,8 +12,6 @@ module CoreLint (
 
 #include "HsVersions.h"
 
-import IO              ( hPutStr, hPutStrLn, stdout )
-
 import CoreSyn
 import CoreFVs         ( idFreeVars )
 import CoreUtils       ( findDefault, exprOkForSpeculation, coreBindsSize, mkPiType )
@@ -26,7 +24,7 @@ import VarSet
 import Subst           ( substTyWith )
 import Name            ( getSrcLoc )
 import PprCore
-import ErrUtils                ( doIfSet, dumpIfSet_core, ghcExit, Message, showPass,
+import ErrUtils                ( dumpIfSet_core, ghcExit, Message, showPass,
                          addErrLocHdrLine )
 import SrcLoc          ( SrcLoc, noSrcLoc )
 import Type            ( Type, tyVarsOfType, eqType,
@@ -40,9 +38,10 @@ import TyCon         ( isPrimTyCon )
 import BasicTypes      ( RecFlag(..), isNonRec )
 import CmdLineOpts
 import Maybe
-import Util            ( notNull )
 import Outputable
 
+import IO              ( hPutStrLn, stderr )
+
 infixr 9 `thenL`, `seqL`
 \end{code}
 
@@ -116,7 +115,7 @@ lintCoreBindings dflags whoDunnit binds
 
 lintCoreBindings dflags whoDunnit binds
   = case (initL (lint_binds binds)) of
-      Nothing       -> done_lint
+      Nothing       -> showPass dflags ("Core Linted result of " ++ whoDunnit)
       Just bad_news -> printDump (display bad_news)    >>
                       ghcExit 1
   where
@@ -130,9 +129,6 @@ lintCoreBindings dflags whoDunnit binds
                                  returnL ()
     lint_bind (NonRec bndr rhs) = lintSingleBinding NonRecursive (bndr,rhs)
 
-    done_lint = doIfSet (verbosity dflags >= 2)
-                       (hPutStr stdout ("*** Core Linted result of " ++ whoDunnit ++ "\n"))
-
     display bad_news
       = vcat [  text ("*** Core Lint Errors: in result of " ++ whoDunnit ++ " ***"),
                bad_news,