From 4d2b98d0d8e0a349d2448d93d8c0518045489854 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 1 Feb 2007 12:40:58 +0000 Subject: [PATCH] some dynamic flags cannot be used with OPTIONS_GHC, e.g. -i, -package fixes #1108 --- docs/users_guide/flags.xml | 14 +++++++------- docs/users_guide/using.xml | 5 +++++ 2 files changed, 12 insertions(+), 7 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index eeb4f5d..9f78959 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -358,13 +358,13 @@ dir1:dir2:... add dir, dir2, etc. to import path - dynamic + static/:set - Empty the import directory list - dynamic + static/:set - @@ -519,7 +519,7 @@ P Expose package P - dynamic + static/:set - @@ -531,25 +531,25 @@ name Hide package P - dynamic + static/:set - name Ignore package P - dynamic + static/:set - file Load more packages from file - dynamic + static - Don't load the user's package config file. - dynamic + static - diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index c09fa35..f6afa3c 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -138,6 +138,11 @@ module X where The flag reference tables () lists the status of each flag. + + There are a few flags that are static except that they can + also be used with GHCi's :set command; these + are listed as “static/:set” in the + table. -- 1.7.10.4