X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FCoreLint.lhs;h=7470294d1c204144efeaee9547cca22f79b32a18;hp=15146ec4ecf06652895e14c7ce8f53b4629d36da;hb=3fe27db88139e65f2a153c91b323cb43fd52185e;hpb=6b1119bd56511dbf4563efddcd485893f3bff8bf

diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs
index 15146ec..7470294 100644
--- 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,