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 |