From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 21 Apr 2009 10:00:39 +0000 (+0000)
Subject: FIX #2500: Don't log warnings in getHeader
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a70a6e393222e586c518ca7c1982be6d2b9ff1d2

FIX #2500: Don't log warnings in getHeader
---

diff --git a/compiler/main/HeaderInfo.hs b/compiler/main/HeaderInfo.hs
index 0fd62f5..8f5d020 100644
--- a/compiler/main/HeaderInfo.hs
+++ b/compiler/main/HeaderInfo.hs
@@ -59,8 +59,10 @@ getImports dflags buf filename source_filename = do
   case unP parseHeader (mkPState buf loc dflags) of
     PFailed span err -> parseError span err
     POk pst rdr_module -> do
-      let ms@(warns, errs) = getMessages pst
-      logWarnings warns
+      let ms@(_warns, errs) = getMessages pst
+      -- don't log warnings: they'll be reported when we parse the file
+      -- for real.  See #2500.
+      -- logWarnings warns
       if errorsFound dflags ms
         then liftIO $ throwIO $ mkSrcErr errs
         else