in GHCi map `:editNNN` to $EDITOR +NNN
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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.8.3 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | GHCi |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | hvr |
| Operating system | |
| Architecture |