[GHC] #9690: in GHCi map `:editNNN` to $EDITOR +NNN
GHC
ghc-devs at haskell.org
Mon Oct 13 22:40:36 UTC 2014
#9690: in GHCi map `:editNNN` to $EDITOR +NNN
-------------------------------------+-------------------------------------
Reporter: heisenbug | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 7.8.3
Keywords: | Operating System:
Architecture: Unknown/Multiple | Unknown/Multiple
Difficulty: Unknown | Type of failure:
Blocked By: | None/Unknown
Related Tickets: | Test Case:
| Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
I suggest to treat GHCi REPL commands `:editNNN` (as well as equivalent
abbreviations, like `:eNNN` ) where `NNN` is a natural number, as
invocations of the text editor with a `+NNN` option.
Rationale: When I see a type error in line 42 then I'd like to visit this
line directly with `:e42`. Optionally one could implement `:eNNN:CCC` to
also target the column `CCC` in that line.
`emacs`, `vi` and `pico` all implement the option `+NNN` to land in the
line `NNN`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9690>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list