Skip to content
Snippets Groups Projects
Unverified Commit 50d1d18c authored by Mateusz Kowalczyk's avatar Mateusz Kowalczyk
Browse files

Only warn about missing docs when docs are missing

This fixes the ‘Missing documentation for…’ message for modules with
100% coverage.
parent d86f6886
No related branches found
No related tags found
No related merge requests found
......@@ -195,7 +195,8 @@ processModule verbosity modsum flags modMap instIfaceMap = do
else n
out verbosity normal coverageMsg
when (Flag_PrintMissingDocs `elem` flags && (header || not (null undocumentedExports))) $ do
when (Flag_PrintMissingDocs `elem` flags
&& not (null undocumentedExports && header)) $ do
out verbosity normal " Missing documentation for:"
unless header $ out verbosity normal " Module header"
mapM_ (out verbosity normal . (" " ++)) undocumentedExports
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment