readLine()
не поддерживает редактирование строки и вызов предыдущих команд, например:
while true:
var name: string = readLine(stdin)
echo "Hi, ", name, "!"
Не редактирует. Но если я скомпилирую это и заверну в rlwrap:
$ rlwrap read_test
Это работает, как я надеюсь. с редактируемыми и повторно вызываемыми строками, предоставляемыми библиотекой readline.
readLineFromStdin()
почти работает, но не поддерживает ctrl + d, он возвращает пустую строку по ctrl + d, которая неотличима от новой строки.
Как я могу сделать это в чистом Ним? Спасибо!