From: bakaq <bakaq@bakaq.net>
Date: Sun, 24 Sep 2023 22:29:51 +0000 (-0300)
Subject: Inline string_get_n_chars_/3
X-Git-Tag: remove~86^2^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=63bb993c02c372a243f07c9815c0ba111009fa3b;p=scryer-prolog.git

Inline string_get_n_chars_/3
---

diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 24070d73..1576ec9a 100644
--- a/src/lib/pio.pl
+++ b/src/lib/pio.pl
@@ -82,7 +82,7 @@ render_step(Stream, Pos, Ls) :-
     ;   chars_to_read(CharsToRead),
         buffer_get_n_chars(Stream, CharsToRead, Chars),
         partial_string(Chars, Ls, Ls0),
-        stream_to_lazy_list(Stream, Ls1)
+        stream_to_lazy_list(Stream, Ls0)
     ).
 
 buffer_at_end_of_stream(Stream) :-
@@ -150,12 +150,9 @@ partial_string_last_tail(PartialString, PartialStringTail) :-
 
 string_get_n_chars(String, Pos, N, Chars) :-
     '$skip_max_list'(_, Pos, String, String1),
-    string_get_n_chars_(String1, N, Chars).
-
-string_get_n_chars_(String, N, Chars) :-
-    '$skip_max_list'(N1, N, String, _),
+    '$skip_max_list'(N1, N, String1, _),
     length(Chars, N1),
-    append(Chars, _, String).
+    append(Chars, _, String1).
 
 stream_bufferids(Stream, BufferId, BufferPosId, BufferLenId) :-
     (   bb_get(streams_buffers, _) ->