diff options
| author | David Waern <david.waern@gmail.com> | 2008-04-11 17:24:00 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-04-11 17:24:00 +0000 |
| commit | a75db99a9c2fb5b22a65c0a5b030c855dd1d8cba (patch) | |
| tree | 22c06bb487be0a601b0e374d424890e34b0be8f9 /src/Haddock/Interface.hs | |
| parent | 9a21555c26c61cf3bb9b5353a838bf147816dad9 (diff) | |
Add a flag for turning off all warnings
Diffstat (limited to 'src/Haddock/Interface.hs')
| -rw-r--r-- | src/Haddock/Interface.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Haddock/Interface.hs b/src/Haddock/Interface.hs index 51d8de2c..8b8d703d 100644 --- a/src/Haddock/Interface.hs +++ b/src/Haddock/Interface.hs @@ -50,7 +50,8 @@ createInterfaces modules externalLinks flags = (interfaces, homeLinks, messages) let interfaces' = attachInstances interfaces allNames -- part 3, rename the interfaces - interfaces'' <- mapM (renameInterface links) interfaces' + let warnings = Flag_NoWarnings `notElem` flags + interfaces'' <- mapM (renameInterface links warnings) interfaces' return (interfaces'', homeLinks) |