From: Simon Marlow Date: Thu, 1 Feb 2007 12:40:58 +0000 (+0000) Subject: some dynamic flags cannot be used with OPTIONS_GHC, e.g. -i, -package X-Git-Tag: 2007-02-05~21 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=4d2b98d0d8e0a349d2448d93d8c0518045489854;p=ghc-hetmet.git some dynamic flags cannot be used with OPTIONS_GHC, e.g. -i, -package fixes #1108 --- 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.