From 0d3f3debcf01ef11d43f7cc6f81ecc3eb2d38ee6 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 21 Jul 2003 14:50:32 +0000 Subject: [PATCH] [project @ 2003-07-21 14:50:32 by simonmar] Document that changing directories unloads all modules. --- ghc/docs/users_guide/ghci.sgml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index 8fa7ff2..405f7b2 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -837,6 +837,12 @@ $ ghci -lm beginning of dir will be replaced by the contents of the environment variable HOME. + + NOTE: changing directories causes all currently loaded + modules to be unloaded. This is because the search path is + usually expressed using relative directories, and changing + the search path in the middle of a session is not + supported. -- 1.7.10.4