From: simonmar Date: Fri, 4 May 2001 15:12:16 +0000 (+0000) Subject: [project @ 2001-05-04 15:12:16 by simonmar] X-Git-Tag: Approximately_9120_patches~1990 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=95faf8bf2e1cc606144d75edd7dd7b45f93bfeda;p=ghc-hetmet.git [project @ 2001-05-04 15:12:16 by simonmar] document :set -package --- diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index 6688862..e645723 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -548,10 +548,8 @@ $ ghci Main.hs packageswith GHCi GHCi can make use of all the packages that come with GHC, - but note: packages must be specified on the - GHCi command line, you can't add extra packages after GHCi has - started up. For example, to start up GHCi with the - text package loaded: + For example, to start up GHCi with the text + package loaded: $ ghci -package text @@ -572,6 +570,17 @@ Prelude> text package makes use of one or more of the modules in lang, and therefore has a dependency on it. + + The following command works to load new packages into a + running GHCi: + + +Prelude> :set -package name + + + But note that doing this will cause all currently loaded + modules to be unloaded, and you'll be dumped back into the + Prelude. @@ -883,15 +892,16 @@ Prelude> :set -fno-glasgow-exts lists the reverse for each option where applicable. - Certain static options (, - , and in particular) will - also work, but may not take effect until the next reload. + Certain static options (, + , , and + in particular) will also work, but some may + not take effect until the next reload. staticoptions - The <filename>.ghci</filename> file + The <filename>.ghci</filename> file .ghcifile startupfiles, GHCi