X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fghci.xml;h=aaa9c460931aaebe4af10f9366fb8405e30d2b95;hb=708aa86d707f71db9430d41b4e8188c030012597;hp=03f4a3eb32f5477862c5705bdbbf6e37e75126a4;hpb=3c22606bf3114747deeae0a8a1d5832ee834d9d1;p=ghc-hetmet.git
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 03f4a3e..aaa9c46 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -1244,9 +1244,9 @@ li - (_t1::[Maybe Integer])
Prelude> head li
Just 1
Prelude> :sp li
-li - [Just 1 | _]
+li - Just 1 : _
Prelude> :p li
-li - [Just 1 | (_t2::[Maybe Integer])]
+li - Just 1 : (_t2::[Maybe Integer])
Prelude> last li
Just 5
Prelude> :sp li
@@ -1262,8 +1262,6 @@ li - [Just 1,(_t6::Maybe Integer),Just 3,(_t7::Maybe Integer),Just 4]
to help us observe how the li variable is evaluated progressively as we operate
with it. Note for instance how last
traverses all the elements of
the list to compute its result, but without evaluating the individual elements.
- Finally note that the Prolog convention of [head | tail] is used by
- :sprint to display unevaluated lists.
@@ -1389,7 +1387,7 @@ li - _
Prelude> head li
Just 1
Prelude> :sp li
-li - [Just 1 | _]
+li - Just 1 : _
Prelude> last li
Just 5
Prelude> :sp li
@@ -1398,8 +1396,6 @@ li - [Just 1,_,_,_,Just 5]
The example uses :sprint to help us observe how the li variable is evaluated progressively as we operate
with it. Note for instance how last
traverses all the elements of
the list to compute its result, but without evaluating the individual elements.
- Finally note that the Prolog convention of [head | tail] is used by
- :sprint to display unevaluated lists.
@@ -1880,7 +1876,7 @@ Main.hs:15> x'
Note that a wrong coercion will likely result in your debugging session being interrupted by a segmentation fault
- * The undocumented (and unsupported) :force command
+ * The :force command
equivalent to :print with automatic
seq forcing,