From e71a21d73f02f46074674dfb85b3d56126fada67 Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 6 Jun 2001 09:36:02 +0000 Subject: [PATCH] [project @ 2001-06-06 09:36:02 by simonmar] Note in the documentation for :load that you can't load a package module, and describe how we decide what the context is set to after a :load. --- ghc/docs/users_guide/ghci.sgml | 32 +++++++++++++++++++++++++++----- 1 file changed, 27 insertions(+), 5 deletions(-) diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index a9baa6a..5115eff 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -719,11 +719,33 @@ Prelude> :def make (\_ -> return ":! ghc --make Main") :load module :load - Recursively loads module - (which may be a module name or filename), and all the - modules it depends on. All previously loaded modules are - forgotten. The module module is - known as the target. + Recursively loads module, + and all the modules it depends on. Here, + module must be a module name or + filename, but may not be the name of a module in a + package. + + All previously loaded modules, except package modules, + are forgotten. The module module + is known as the target. + + After a :load command, the current + context is set to: + + + + module, if it was loaded + successfully, or + + + the most recently successfully loaded module, if + any other modules were loaded as a result of the current + :load, or + + + Prelude otherwise. + + -- 1.7.10.4