rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Inline string_get_n_chars_/3

Browse Source
This commit is contained in:
bakaq
2023-09-24 19:29:51 -03:00
parent c50291cec8
commit 63bb993c02
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/lib/pio.pl
View File

@@ -82,7 +82,7 @@ render_step(Stream, Pos, Ls) :-
; chars_to_read(CharsToRead), ; chars_to_read(CharsToRead),
buffer_get_n_chars(Stream, CharsToRead, Chars), buffer_get_n_chars(Stream, CharsToRead, Chars),
partial_string(Chars, Ls, Ls0), partial_string(Chars, Ls, Ls0),
stream_to_lazy_list(Stream, Ls1) stream_to_lazy_list(Stream, Ls0)
). ).
buffer_at_end_of_stream(Stream) :- buffer_at_end_of_stream(Stream) :-
@@ -150,12 +150,9 @@ partial_string_last_tail(PartialString, PartialStringTail) :-
string_get_n_chars(String, Pos, N, Chars) :- string_get_n_chars(String, Pos, N, Chars) :-
'$skip_max_list'(_, Pos, String, String1), '$skip_max_list'(_, Pos, String, String1),
string_get_n_chars_(String1, N, Chars). '$skip_max_list'(N1, N, String1, _),
string_get_n_chars_(String, N, Chars) :-
'$skip_max_list'(N1, N, String, _),
length(Chars, N1), length(Chars, N1),
append(Chars, _, String). append(Chars, _, String1).
stream_bufferids(Stream, BufferId, BufferPosId, BufferLenId) :- stream_bufferids(Stream, BufferId, BufferPosId, BufferLenId) :-
( bb_get(streams_buffers, _) -> ( bb_get(streams_buffers, _) ->