X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fghci.sgml;h=87f294447500a7c3b19dd5fcdc15028810efcb57;hb=ec655d31e7a73d0e2b9eb160faa7ebd7c9fe3577;hp=f8f5bbd0ad021e55f33b07324afb55deecdb621a;hpb=b716195daad9adacc17b63799ad0a664856f0103;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml index f8f5bbd..87f2944 100644 --- a/ghc/docs/users_guide/ghci.sgml +++ b/ghc/docs/users_guide/ghci.sgml @@ -158,7 +158,7 @@ Main> fac 17 or it can be set using the :set command from within GHCi (see )Note that in - GHCi, and mode, the + GHCi, and mode, the option is used to specify the search path for source files, whereas in standard batch-compilation mode the option is used to @@ -305,7 +305,7 @@ Ok, modules loaded: A, B, C, D. HINT: since GHCi will only use a compiled object file if it can sure that the compiled version is up-to-date, a good technique when working on a large program is to occasionally run - ghc --make to compile the whole project (say + ghc ––make to compile the whole project (say before you go for lunch :-), then continue working in the interpreter. As you modify code, the new modules will be interpreted, but the rest of the project will remain @@ -543,10 +543,10 @@ Wed Mar 14 12:23:13 GMT 2001 Invoking GHCi invokingGHCi - + GHCi is invoked with the command ghci or - ghc --interactive. One or more modules or + ghc ––interactive. One or more modules or filenames can also be specified on the command line; this instructs GHCi to load the specified modules or filenames (and all the modules they depend on), just as if you had said @@ -728,11 +728,11 @@ Prelude> :mycd .. Or I could define a simple way to invoke - “ghc --make Main” in the + “ghc ––make Main” in the current directory: -Prelude> :def make (\_ -> return ":! ghc --make Main") +Prelude> :def make (\_ -> return ":! ghc ––make Main")