diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/ghci.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index e0523161ea..d320419f3d 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2366,7 +2366,10 @@ commonly used commands. Typing ``:def`` on its own lists the currently-defined macros. Attempting to redefine an existing command name results in an error unless the ``:def!`` form is used, in which case the old command - with that name is silently overwritten. + with that name is silently overwritten. However for builtin commands + the old command can still be used by preceeding the command name with + a double colon (eg ``::load``). + It's not possible to redefine the commands ``:{``, ``:}`` and ``:!``. .. ghci-cmd:: :delete; * | ⟨num⟩ ... |