24 Nov
2008
24 Nov
'08
12:16 p.m.
Colin Paul Adams wrote:
I can't use the backspace key, or arrow keys in ghci (6.10.1) as i would normally expect to on any program on Linux.
Is this connected with the readline/editline/haskelline debate I have observed recently?
You seem to be encountering an unusually severe reaction to the editline switchover. What terminal type is this? Cheers, Simon