Changes the behavior of the "edit" command in GHCi.
authoriavor.diatchki@gmail.com <unknown>
Fri, 25 May 2007 16:31:04 +0000 (16:31 +0000)
committeriavor.diatchki@gmail.com <unknown>
Fri, 25 May 2007 16:31:04 +0000 (16:31 +0000)
commit27e9c93a8445fbabb4c1cb6f77e3a4e7d9a4ffd0
tree43dedff6c56a24d93f2f0bbcd83a46d3ebdf84f8
parent455a8da72d0340c1e9b9c6c946ca2aba7c78e59a
Changes the behavior of the "edit" command in GHCi.
Currently, when the user invokes the GHCi editor without a parameter
GHCi chooses the last file that loaded _sucessfully_.
This patch changes this behavior to start the editor with the
last file that _faild_ (this being what I usually want to edit).
Caveat: we use the module graph to determine what happened
and so we do not catch errors that occured during dependecy
analysis (e.g., a mis-typed module name) but we could fix this later.
compiler/ghci/InteractiveUI.hs