search

diku-dk / futhark

:boom::computer::boom: A data-parallel functional programming language
http://futhark-lang.org
ISC License
2.36k stars 165 forks source link

Delete key does not work in REPL #2079

Closed dcz-self closed 6 months ago

dcz-self commented 6 months ago

Release Version 0.25.9.

To reproduce:

  1. Run REPL
  2. Type "1"
  3. Press left arrow
  4. Press Delete

Expected result: "1" is gone.

Actual result: terminal rings a bell.

I'm not sure if this is intentional, but I haven't seen it outside of misbehaving programs before.

athas commented 6 months ago

I will see if I can reproduce (my keyboard does not have a Del key; I use Ctrl-d), but since Futhark just uses haskeline, we can't do much about misbehaviour.

athas commented 6 months ago

Works on my machine.

athas commented 6 months ago

I am going to close this because I cannot reproduce the problem, and if/when there is a problem, the fault is likely with haskeline.