diff options
| author | Roland Senn <rsx@bluewin.ch> | 2019-04-14 14:21:40 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-05-10 16:32:38 -0400 |
| commit | c7913f71bc8ed8910c829a84b78d2f56b05f0473 (patch) | |
| tree | 9132f648948d7e2423fdd1fb9c7fe203c1786b6b /docs | |
| parent | 5eb9445444c4099fc9ee0803ba45db390900a80f (diff) | |
| download | haskell-c7913f71bc8ed8910c829a84b78d2f56b05f0473.tar.gz | |
Fix bugs and documentation for #13456
Diffstat (limited to 'docs')
| -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⟩ ... |