Commit ebd13958 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Suppress warnings about recursive INLINE in output of desugarer

parent a819f3db
...@@ -166,6 +166,11 @@ displayLintResults dflags pass warns errs binds ...@@ -166,6 +166,11 @@ displayLintResults dflags pass warns errs binds
; Err.ghcExit dflags 1 } ; Err.ghcExit dflags 1 }
| not (isEmptyBag warns) | not (isEmptyBag warns)
, not (case pass of { CoreDesugar -> True; _ -> False })
-- Suppress warnings after desugaring pass because some
-- are legitimate. Notably, the desugarer generates instance
-- methods with INLINE pragmas that form a mutually recursive
-- group. Only afer a round of simplification are they unravelled.
, not opt_NoDebugOutput , not opt_NoDebugOutput
, showLintWarnings pass , showLintWarnings pass
= printDump (banner "warnings" $$ Err.pprMessageBag warns) = printDump (banner "warnings" $$ Err.pprMessageBag warns)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment