diff options
| author | David Waern <david.waern@gmail.com> | 2008-05-01 13:12:19 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-05-01 13:12:19 +0000 |
| commit | f944180988db86d5b1d78e4607f27f40b4e2e5e6 (patch) | |
| tree | 3945d58ce375b61ca3699d4e3061ebcbe059c65f /src/Haddock/GHC | |
| parent | 2aaa2042f47a7e7951d45fc6d7c6e66937121ab9 (diff) | |
Add hide options to some source files
Diffstat (limited to 'src/Haddock/GHC')
| -rw-r--r-- | src/Haddock/GHC/Utils.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Haddock/GHC/Utils.hs b/src/Haddock/GHC/Utils.hs index 843c11b8..062d015e 100644 --- a/src/Haddock/GHC/Utils.hs +++ b/src/Haddock/GHC/Utils.hs @@ -4,7 +4,10 @@ -- (c) Simon Marlow 2003 -- + {-# OPTIONS_GHC -fno-warn-orphans #-} +{-# OPTIONS_HADDOCK hide #-} + module Haddock.GHC.Utils where |