From 8eb677bc6758080886aa8b21340cc3470b249b75 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 3 Sep 2006 22:21:15 +0000 Subject: [PATCH] Ambiguities are now allowed in ghci command names --- docs/users_guide/ghci.xml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index e79fb46..26efdee 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -873,10 +873,8 @@ $ ghci -lm GHCi commands all begin with ‘:’ 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 - :unset and :undef, may be - abbreviated to a single letter. + abbreviated, with ambiguities being resolved in favour of the more + commonly used commands. -- 1.7.10.4