From 7301bafe238971de8bdc8e772c79bbd9a0b7dd39 Mon Sep 17 00:00:00 2001 From: David Terei Date: Tue, 25 Oct 2011 17:18:04 -0700 Subject: Tweak to doc for DynFlags --- compiler/main/DynFlags.hs | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) (limited to 'compiler') 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 -- cgit v1.2.1