ghci should do an automatic ":r" after ":e"

[lerkok]

A reload (:r) is almost always what one does after an edit (:e). Arguably ghci should just do the :r after an :e automatically, as I can't imagine why someone would edit a file but not want to load it back into ghci.

If memory serves this is how hugs used to work.

[igloo]

Makes sense to me. Should be easy, so let's do it for 7.4.1.

[igloo]

punting

[pcapriotti]

Reload module after invoking editor

[pcapriotti]

Attached patch.

[igloo@…]

commit e212079dce3b86df4124d4dd819640f85f479a71

Author: Ian Lynagh <igloo@earth.li>
Date:   Sun Mar 11 17:52:48 2012 +0000

    In ghci, reload after :e. Patch from Paolo Capriotti. Fixes #5343

 ghc/InteractiveUI.hs |   13 +++++++------
 1 files changed, 7 insertions(+), 6 deletions(-)

[igloo]

Patch applied. We could merge this.

[pcapriotti]

Merged as 21de02bc1bf2017e6214b0c6ee6f4f4d15fe9314.