Open malte-v opened 4 years ago
Note that you can use rlwrap to cope with the current limitations
Yes, I run through rlwrap
(in fact I've aliased idris2
). This is a fairly big feature request, in practice, requiring readline support or similar, and then leads to wanting tab completion of function names. I actually wonder if a better way is to write a separate fancy REPL via the IDE protocol, and to keep what Idris 2 itself does as simple as possible.
Currently using the arrow keys just prints ANSI sequences, which is different from the Idris 1 REPL.
Steps to Reproduce
Enter the Idris 2 REPL and use the arrow keys.
Expected Behavior
It cycles through the recently used commands.
Observed Behavior
Escape sequences get printed.