k+ doesn't exit on Ctrl+D

[paulapatience]

When trying to exit k+ with Ctrl+D (rather than Ctrl+C), k+ outputs spaces forever rather than exiting.

[ktye]

it uses ReadIn to read a line. the c backend is generated here and uses this implementation: https://github.com/ktye/wg/blob/master/c.go#L816

it is called by the read() function, generated from this: https://github.com/ktye/i/blob/master/wasi.go#L116

and it reads at most 504 bytes..

[talas]

https://github.com/ktye/i/blob/master/system.go#L14 in main(), add: if !nn(x) { break } this should cause the repl loop to exit on Ctrl+D. You might want to print something as well though.