GHCi: Implement `%l` prompt substitution for line-number
authorHerbert Valerio Riedel <hvr@gnu.org>
Wed, 10 Jul 2013 08:01:31 +0000 (10:01 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sat, 10 Aug 2013 20:26:58 +0000 (22:26 +0200)
commit11814a8e2f1a5b1163cb1b00bfdc699436b40317
tree68d08404f471f06cb9ed7c8bc56e5ad2390f3045
parentc08bf882d1763f740517557c03c0969df97e645d
GHCi: Implement `%l` prompt substitution for line-number

This commit also updates the GHC user guide section
regarding the `set prompt` command and closes #8047.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
docs/users_guide/ghci.xml
ghc/InteractiveUI.hs