check for unexpected EOF in get_to_eof (#1897)

2023-07-19 17:13:47 -06:00
parent 85bc544fb9
commit 4fd247f881
1 changed files with 6 additions and 1 deletions
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -323,8 +323,13 @@ get_n_chars(Stream, N, Cs) :-
            '$get_n_chars'(Stream, N, Cs)
        ).

+get_n_chars_wrapper(Stream, N, Cs) :-
+        '$get_n_chars'(Stream, N, Cs).
+
 get_to_eof(Stream, Cs) :-
-        '$get_n_chars'(Stream, 512, Cs0),
+        catch(get_n_chars_wrapper(Stream, 512, Cs0),
+              error(syntax_error(unexpected_end_of_file), _),
+              Cs0 = []),
        (   Cs0 == [] -> Cs = []
        ;   partial_string(Cs0, Cs, Rest),
            get_to_eof(Stream, Rest)