From f50c833a105e6c7f44c5c43a364dc4ee1803a198 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 17 Sep 2002 14:26:50 +0000 Subject: [PATCH] [project @ 2002-09-17 14:26:50 by simonmar] Fix search-and-replace-o: s/%lt/< MERGE TO STABLE --- ghc/docs/users_guide/ghci.sgml | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index 54952ec..0ba4d8d 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -44,36 +44,36 @@ Prelude> Commands available from the prompt: - %lt;stmt> evaluate/run %lt;stmt> - :add %lt;filename> ... add module(s) to the current target set - :browse [*]%lt;module> display the names defined by %lt;module> - :cd %lt;dir> change directory to %lt;dir> - :def %lt;cmd> %lt;expr> define a command :%lt;cmd> + <stmt> evaluate/run <stmt> + :add <filename> ... add module(s) to the current target set + :browse [*]<module> display the names defined by <module> + :cd <dir> change directory to <dir> + :def <cmd> <expr> define a command :<cmd> :help, :? display this list of commands - :info [%lt;name> ...] display information about the given names - :load %lt;filename> ... load module(s) and their dependents - :module [+/-] [*]%lt;mod> ... set the context for expression evaluation + :info [<name> ...] display information about the given names + :load <filename> ... load module(s) and their dependents + :module [+/-] [*]<mod> ... set the context for expression evaluation :reload reload the current module set - :set %lt;option> ... set options - :set args %lt;arg> ... set the arguments returned by System.getArgs - :set prog %lt;progname> set the value returned by System.getProgName + :set <option> ... set options + :set args <arg> ... set the arguments returned by System.getArgs + :set prog <progname> set the value returned by System.getProgName :show modules show the currently loaded modules :show bindings show the current bindings made at the prompt - :type %lt;expr> show the type of %lt;expr> - :undef %lt;cmd> undefine user-defined command :%lt;cmd> - :unset %lt;option> ... unset options + :type <expr> show the type of <expr> + :undef <cmd> undefine user-defined command :<cmd> + :unset <option> ... unset options :quit exit GHCi - :!%lt;command> run the shell command %lt;command> + :!<command> run the shell command <command> Options for `:set' and `:unset': +r revert top-level expressions after each evaluation +s print timing/memory stats after each evaluation +t print type after evaluation - -%lt;flags> most GHC command line flags can also be set here + -<flags> most GHC command line flags can also be set here (eg. -v2, -fglasgow-exts, etc.) -- 1.7.10.4