From 742722477ac2edcb142747aa9ab99345eeb454ed Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Mon, 16 Jul 2007 17:06:01 +0000 Subject: [PATCH] ghci command docs tweaks --- docs/users_guide/ghci.xml | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 7fd49e7..45ac5a6 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -1737,7 +1737,8 @@ $ ghci -lm Generates a “tags” file for Vi-style editors - (:ctags) or Emacs-style editors (etags). If + (:ctags) or + Emacs-style editors (:etags). If no filename is specified, the defaulit tags or TAGS is used, respectively. Tags for all the functions, constructors and @@ -1845,6 +1846,15 @@ Prelude> :. cmds.ghci + :etags + + + See :ctags. + + + + + :force identifier ... :force @@ -1981,7 +1991,7 @@ Prelude> :. cmds.ghci However, we cannot simply pass the arguments to the main function while we are testing in ghci, as the main function doesn't take its - directly. + arguments directly. @@ -2026,7 +2036,7 @@ Prelude> :main foo bar Prints a value without forcing its evaluation. :print may be used on values whose types are - unkonwn or partially known, which might be the case for local + unknown or partially known, which might be the case for local variables with polymorphic types at a breakpoint. While inspecting the runtime value, :print attempts to reconstruct the type of the value, and will elaborate the type in @@ -2046,7 +2056,7 @@ Prelude> :main foo bar :quit - Quits GHCi. You can also quit by typing a control-D + Quits GHCi. You can also quit by typing control-D at the prompt. @@ -2191,7 +2201,7 @@ Prelude> :main foo bar :show modules - Show the list of modules currently load. + Show the list of modules currently loaded. -- 1.7.10.4