MERGED: Make ":" in GHCi repeat the last command
authorIan Lynagh <igloo@earth.li>
Sun, 25 Nov 2007 12:20:20 +0000 (12:20 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 25 Nov 2007 12:20:20 +0000 (12:20 +0000)
commitd2b3daa3cc474e6ab010fb6af5c21ddb852b8b5b
tree6bab0a80ef86b8f7b20463aba779f593cb378b33
parent4e4d8e70295de6dcfaa77de4e7ce89123a3d190d
MERGED: Make ":" in GHCi repeat the last command
Ian Lynagh <igloo@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.
compiler/ghci/GhciMonad.hs
compiler/ghci/InteractiveUI.hs
docs/users_guide/ghci.xml