summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Terei <davidterei@gmail.com>2011-10-25 17:18:04 -0700
committerDavid Terei <davidterei@gmail.com>2011-11-01 01:11:50 -0700
commit7301bafe238971de8bdc8e772c79bbd9a0b7dd39 (patch)
treeadde55066f7c8a7bab58dc6c092d6a92c3f3e0fa
parent794078170b8e0f57319ee030069b4020a4847181 (diff)
downloadhaskell-7301bafe238971de8bdc8e772c79bbd9a0b7dd39.tar.gz
Tweak to doc for DynFlags
-rw-r--r--compiler/main/DynFlags.hs16
1 files changed, 9 insertions, 7 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 537e2b4dfe..59b6c49648 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -1,14 +1,16 @@
--- |
--- Dynamic flags
+-------------------------------------------------------------------------------
--
+-- | Dynamic flags
+--
+-- Most flags are dynamic flags, which means they can change from compilation
+-- to compilation using @OPTIONS_GHC@ pragmas, and in a multi-session GHC each
+-- session can be using different dynamic flags. Dynamic flags can also be set
+-- at the prompt in GHCi.
--
-- (c) The University of Glasgow 2005
--
+-------------------------------------------------------------------------------
--- Most flags are dynamic flags, which means they can change from
--- compilation to compilation using @OPTIONS_GHC@ pragmas, and in a
--- multi-session GHC each session can be using different dynamic
--- flags. Dynamic flags can also be set at the prompt in GHCi.
module DynFlags (
-- * Dynamic flags and associated configuration types
DynFlag(..),
@@ -85,7 +87,7 @@ module DynFlags (
#ifdef GHCI
-- Only in stage 2 can we be sure that the RTS
-- exposes the appropriate runtime boolean
- , rtsIsProfiled
+ , rtsIsProfiled
#endif
) where