From 4fd247f881d7c6cd8dfc3e060f2a7cca74a24e5d Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Wed, 19 Jul 2023 17:13:47 -0600
Subject: [PATCH] check for unexpected EOF in get_to_eof (#1897)

---
 src/lib/charsio.pl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 618416f1..d47d3642 100644
--- 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)
-- 
2.54.0