X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=1f20df4aab682abf69bc5151e09f53700abfb003;hb=d1984e439154e95b2804ee83897e740b1713c53d;hp=c5b5f7c19fd7aabb30d22d216350ad03fefd6d1c;hpb=3897d02a5c0deb5c3bfda3299a28bbef525eba84;p=ghc-hetmet.git
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index c5b5f7c..1f20df4 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -616,12 +616,48 @@ Prelude IO>
+ :module and
+ :load
+
+ It might seem that :module and
+ :load do similar things: you can use both
+ to bring a module into scope. However, there is a clear
+ difference. GHCi is concerned with two sets of modules:
+
+
+
+ The set of modules that are
+ currently loaded. This set is
+ modified
+ by :load, :add
+ and :reload.
+
+
+
+ The set of modules that are currently in
+ scope at the prompt. This set is modified
+ by :module, and it is also set
+ automatically
+ after :load, :add,
+ and :reload.
+
+
+
+ You cannot add a module to the scope if it is not
+ loaded. This is why trying to
+ use :module to load a new module results
+ in the message “module M is not
+ loaded”.
+
+
+ Qualified namesTo make life slightly easier, the GHCi prompt also
behaves as if there is an implicit import
qualified declaration for every module in every
- package, and every module currently loaded into GHCi.
+ package, and every module currently loaded into GHCi. This
+ behaviour can be disabled with the flag .