X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=9fa5d875b0326c6a7f29ebee337aec01452435d3;hb=c24bd1bbbdc4e20ea5c31b8779a70a5421f44962;hp=69fcc360e6cdbd399ff3b9528fe57f3564cc8dec;hpb=4899a56bd4455b9b1b285f1573f0a2376bc4f043;p=ghc-hetmet.git
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 69fcc36..9fa5d87 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -611,7 +611,7 @@ Prelude IO>
- The :main command
+ The :main and :run commands
When a program is compiled and executed, it can use the
@@ -636,6 +636,37 @@ Prelude> :main foo bar
["foo","bar"]
+
+ We can also quote arguments which contains characters like
+ spaces, and they are treated like Haskell strings, or we can
+ just use Haskell list syntax:
+
+
+
+Prelude> :main foo "bar baz"
+["foo","bar baz"]
+Prelude> :main ["foo", "bar baz"]
+["foo","bar baz"]
+
+
+
+ Finally, other functions can be called, either with the
+ -main-is flag or the :run
+ command:
+
+
+
+Prelude> let foo = putStrLn "foo" >> System.Environment.getArgs >>= print
+Prelude> let bar = putStrLn "bar" >> System.Environment.getArgs >>= print
+Prelude> :set -main-is foo
+Prelude> :main foo "bar baz"
+foo
+["foo","bar baz"]
+Prelude> :run bar ["foo", "bar baz"]
+bar
+["foo","bar baz"]
+
+
@@ -1437,7 +1468,7 @@ as = 'b' : 'c' : (_t1::[Char])
import Prelude hiding (map)
-map :: (a->b) -> a -> b
+map :: (a->b) -> [a] -> [b]
map f [] = []
map f (x:xs) = f x : map f xs
@@ -1991,6 +2022,17 @@ Prelude> :. cmds.ghci
+
+ :
+ :
+
+
+ Repeat the previous command.
+
+
+
+
+
:history [num]
:history
@@ -2108,6 +2150,37 @@ Prelude> :main foo bar
["foo","bar"]
+
+ We can also quote arguments which contains characters like
+ spaces, and they are treated like Haskell strings, or we can
+ just use Haskell list syntax:
+
+
+
+Prelude> :main foo "bar baz"
+["foo","bar baz"]
+Prelude> :main ["foo", "bar baz"]
+["foo","bar baz"]
+
+
+
+ Finally, other functions can be called, either with the
+ -main-is flag or the :run
+ command:
+
+
+
+Prelude> let foo = putStrLn "foo" >> System.Environment.getArgs >>= print
+Prelude> let bar = putStrLn "bar" >> System.Environment.getArgs >>= print
+Prelude> :set -main-is foo
+Prelude> :main foo "bar baz"
+foo
+["foo","bar baz"]
+Prelude> :run bar ["foo", "bar baz"]
+bar
+["foo","bar baz"]
+
+