[200_22] 修复read-line无法检测到Ctrl+D的问题

da-liii · da-liii · commit c7a6b4ea26bf · 2026-04-03T14:12:45.000+08:00
diff --git a/src/s7.c b/src/s7.c
@@ -26937,7 +26937,7 @@ static s7_pointer stdin_read_line(s7_scheme *sc, s7_pointer port, bool with_eol)
     }
   if (fgets(sc->read_line_buf, sc->read_line_buf_size, stdin))
     return(s7_make_string(sc, sc->read_line_buf)); /* fgets adds the trailing '\0' */
-  return(nil_string);
+  return(eof_object);
 }
 
 static s7_pointer file_read_line(s7_scheme *sc, s7_pointer port, bool with_eol)

Original file line number	Diff line number	Diff line change
`@@ -26937,7 +26937,7 @@ static s7_pointer stdin_read_line(s7_scheme *sc, s7_pointer port, bool with_eol)`
`26937`	`26937`	`}`
`26938`	`26938`	`if (fgets(sc->read_line_buf, sc->read_line_buf_size, stdin))`
`26939`	`26939`	`return(s7_make_string(sc, sc->read_line_buf)); /* fgets adds the trailing '\0' */`
`26940`		`- return(nil_string);`
	`26940`	`+ return(eof_object);`
`26941`	`26941`	`}`
`26942`	`26942`
`26943`	`26943`	`static s7_pointer file_read_line(s7_scheme *sc, s7_pointer port, bool with_eol)`