Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alex D
GHC
Commits
a70a6e39
Commit
a70a6e39
authored
Apr 21, 2009
by
Simon Marlow
Browse files
FIX #2500: Don't log warnings in getHeader
parent
199dc742
Changes
1
Hide whitespace changes
Inline
Side-by-side
compiler/main/HeaderInfo.hs
View file @
a70a6e39
...
...
@@ -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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment