projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
72eb368
)
Ambiguities are now allowed in ghci command names
author
Ian Lynagh
<igloo@earth.li>
Sun, 3 Sep 2006 22:21:15 +0000
(22:21 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sun, 3 Sep 2006 22:21:15 +0000
(22:21 +0000)
docs/users_guide/ghci.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/ghci.xml
b/docs/users_guide/ghci.xml
index
e79fb46
..
26efdee
100644
(file)
--- a/
docs/users_guide/ghci.xml
+++ b/
docs/users_guide/ghci.xml
@@
-873,10
+873,8
@@
$ ghci -lm
<para>GHCi commands all begin with
‘<literal>:</literal>’ and consist of a single command
name followed by zero or more parameters. The command name may be
<para>GHCi commands all begin with
‘<literal>:</literal>’ and consist of a single command
name followed by zero or more parameters. The command name may be
- abbreviated, as long as the abbreviation is not ambiguous. All of
- the builtin commands, with the exception of
- <literal>:unset</literal> and <literal>:undef</literal>, may be
- abbreviated to a single letter.</para>
+ abbreviated, with ambiguities being resolved in favour of the more
+ commonly used commands.</para>
<variablelist>
<varlistentry>
<variablelist>
<varlistentry>