X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=c2bceeae4c06d30690b4012b2c10885949b576f1;hb=c74c37dddfd226adeea354d070634473d28831d1;hp=0a50bcc554d5eb03c6005b11e03a14b6f7b60fe6;hpb=e192dcbfaf85e299ac49b0e2ba3475fc1d517291;p=ghc-hetmet.git
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 0a50bcc..c2bceea 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -28,8 +28,11 @@
$ ghci
-GHCi, version 6.8.1: http://www.haskell.org/ghc/ :? for help
+GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help
+Loading package ghc-prim ... linking ... done.
+Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
+Loading package ffi-1.0 ... linking ... done.
Prelude>
@@ -586,10 +589,12 @@ hello
Prelude IO>
- (Note: you can use import M as an
- alternative to :module +M, and
+ (Note: you can use conventional
+ haskell import syntax as
+ well, but this does not support
+ * forms).
:module can also be shortened to
- :m). The full syntax of the
+ :m. The full syntax of the
:module command is:
@@ -814,12 +819,12 @@ it <- e
ghci> reverse []
What should GHCi do? Strictly speaking, the program is ambiguous. show (reverse [])
- (which is what GHCi computes here) has type Show a => a and how that displays depends
+ (which is what GHCi computes here) has type Show a => String and how that displays depends
on the type a. For example:
- ghci> (reverse []) :: String
+ ghci> reverse ([] :: String)
""
- ghci> (reverse []) :: [Int]
+ ghci> reverse ([] :: [Int])
[]
However, it is tiresome for the user to have to specify the type, so GHCi extends Haskell's type-defaulting
@@ -2934,7 +2939,6 @@ Prelude> :set -fno-glasgow-exts