From 18d0a74f2343104d0272da3ffd8bca78b918d69f Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 24 Jun 2023 11:47:32 +0200
Subject: [PATCH 1/2] MODIFIED: read_line_to_chars/3 is now called
 get_line_to_chars/3

This is for consistency with other I/O predicates, where "read" always
indicates Prolog terms. Please adjust your programs accordingly.
---
 src/lib/charsio.pl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 0f19a8db..0b69ca26 100644
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -10,7 +10,7 @@ read and write chars.
                     chars_utf8bytes/2,
                     get_single_char/1,
                     get_n_chars/3,
-                    read_line_to_chars/3,
+                    get_line_to_chars/3,
                     read_from_chars/2,
                     write_term_to_chars/3,
                     chars_base64/3]).
@@ -277,17 +277,17 @@ continuation(Code, Chars, Nb) --> [Byte],
 % each remaining continuation byte (if any) will raise 0xFFFD too
 continuation(_, ['\xFFFD\'|T], _) --> [_], decode_utf8(T).
 
-%% read_line_to_chars(+Stream, -Chars, +InitialChars).
+%% get_line_to_chars(+Stream, -Chars, +InitialChars).
 %
 % Reads chars from stream Stream until it finds a `\n` character.
 % InitialChars will be appended at the end of Chars
-read_line_to_chars(Stream, Cs0, Cs) :-
+get_line_to_chars(Stream, Cs0, Cs) :-
         '$get_n_chars'(Stream, 1, Char), % this also works for binary streams
         (   Char == [] -> Cs0 = Cs
         ;   Char = [C],
             Cs0 = [C|Rest],
             (   C == '\n' -> Rest = Cs
-            ;   read_line_to_chars(Stream, Rest, Cs)
+            ;   get_line_to_chars(Stream, Rest, Cs)
             )
         ).
 

From 9bc3757a9e48e9fca4ae61627db0a92864eb43b1 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 24 Jun 2023 11:48:28 +0200
Subject: [PATCH 2/2] another case of "read" --> "get", for an only internally
 used predicate

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

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 0b69ca26..1fc120f0 100644
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -299,17 +299,17 @@ get_line_to_chars(Stream, Cs0, Cs) :-
 get_n_chars(Stream, N, Cs) :-
         can_be(integer, N),
         (   var(N) ->
-            read_to_eof(Stream, Cs),
+            get_to_eof(Stream, Cs),
             length(Cs, N)
         ;   N >= 0,
             '$get_n_chars'(Stream, N, Cs)
         ).
 
-read_to_eof(Stream, Cs) :-
+get_to_eof(Stream, Cs) :-
         '$get_n_chars'(Stream, 512, Cs0),
         (   Cs0 == [] -> Cs = []
         ;   partial_string(Cs0, Cs, Rest),
-            read_to_eof(Stream, Rest)
+            get_to_eof(Stream, Rest)
         ).
 
 %% chars_base64(?Chars, ?Base64, +Options).