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

Fixed bug with '$skip_max_list'/4

Browse Source
This commit is contained in:
bakaq
2023-09-24 15:07:39 -03:00
parent b4fab5a806
commit 2fe79b5fc3
1 changed files with 1 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/lib/pio.pl
View File

@@ -170,14 +170,7 @@ partial_string_last_tail(PartialString, PartialStringTail) :-
). ).
string_get_n_chars(String, Pos, N, Chars) :- string_get_n_chars(String, Pos, N, Chars) :-
chars_to_read(CharsToRead), '$skip_max_list'(_, Pos, String, String1),
( CharsToRead < Pos ->
% I have absolutely no idea why this is needed (maybe it's a bug?),
% but hey, it works.
'$skip_max_list'(_, Pos, String, String0),
'$skip_max_list'(_, CharsToRead, String0, String1)
; '$skip_max_list'(_, Pos, String, String1)
),
string_get_n_chars_(String1, N, Chars). string_get_n_chars_(String1, N, Chars).
string_get_n_chars_([], _, []). string_get_n_chars_([], _, []).