From 95faf8bf2e1cc606144d75edd7dd7b45f93bfeda Mon Sep 17 00:00:00 2001 From: simonmar Date: Fri, 4 May 2001 15:12:16 +0000 Subject: [PATCH] [project @ 2001-05-04 15:12:16 by simonmar] document :set -package --- ghc/docs/users_guide/ghci.sgml | 26 ++++++++++++++++++-------- 1 file changed, 18 insertions(+), 8 deletions(-) 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 -- 1.7.10.4