Delete key not working in GHCi
In GHCi 6.10.1, on Ubuntu with libedit 2.11, pressing the delete key produces a beep and inserts a tilde into the line rather than deleting a character.
http://bugs.mysql.com/bug.php?id=294 is essentially the same problem, but in MySQL. It seems they fixed it by reverting to using libreadline.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.10.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | GHCi |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | cgibbard@gmail.com |
| Operating system | |
| Architecture |