Remove newline character from the result of getline.
- Fix #2073 getLine inconsistent behaviour
- getLine no longer keeps the newline character
commit1cb10f9a528ffb42d65baf23ea98526ba49e34c7
authorMort Yao <mort.yao@gmail.com>
dateMon 13 Apr 2015, 21:10 (12 years ago)
parent09a0a8d
rts/idris_rts.c+1
@@ -505,6 +505,7 @@ VAL idris_readStr(VM* vm, FILE* h) {
505505 size_t n = 0;
506506 ssize_t len;
507507 len = getline(&buffer, &n, h);
508+ strtok(buffer, "\n");
508509
509510 if (len <= 0) {
510511 return MKSTR(vm, "");