From: Markus Triska Date: Sat, 24 Jun 2023 09:47:32 +0000 (+0200) Subject: MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3 X-Git-Tag: v0.9.2~120^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=18d0a74f2343104d0272da3ffd8bca78b918d69f;p=scryer-prolog.git 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. --- 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) ) ).