patch applied (ghc): MERGED: Make ":" in GHCi repeat the last
command
Ian Lynagh
igloo at earth.li
Sun Nov 25 08:26:28 EST 2007
Sun Nov 25 04:20:20 PST 2007 Ian Lynagh <igloo at earth.li>
* MERGED: Make ":" in GHCi repeat the last command
Ian Lynagh <igloo at earth.li>**20071124231857
It used to be a synonym for ":r" in 6.6.1, but this wasn't documented or
known about by the developers. In 6.8.1 it was accidentally broken.
This patch brings it back, but as "repeat the last command", similar to
pressing enter in gdb. This is almost as good for people who want it to
reload, and means that it can also be used to repeat commands like :step.
M ./compiler/ghci/GhciMonad.hs +5
M ./compiler/ghci/InteractiveUI.hs -15 +34
M ./docs/users_guide/ghci.xml +11
More information about the Cvs-ghc
mailing list