From a9bfeb0e96ad664c0c6c03743394e70b07813518 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 8 Nov 2021 21:43:45 +0100 Subject: [PATCH] use newly available library predicate read_n_chars/3 --- src/lib/pio.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 67e4ea34..25a2cba8 100644 --- a/src/lib/pio.pl +++ b/src/lib/pio.pl @@ -9,6 +9,7 @@ :- use_module(library(freeze)). :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/1, partial_string/3]). :- use_module(library(lists), [member/2, maplist/2]). +:- use_module(library(charsio), [read_n_chars/3]). :- meta_predicate(phrase_from_file(2, ?)). :- meta_predicate(phrase_from_file(2, ?, ?)). @@ -42,7 +43,7 @@ reader_step(Stream, Pos, Xs0) :- set_stream_position(Stream, Pos), ( at_end_of_stream(Stream) -> Xs0 = [] - ; '$get_n_chars'(Stream, 4096, Cs), + ; read_n_chars(Stream, 4096, Cs), partial_string(Cs, Xs0, Xs), stream_to_lazy_list(Stream, Xs) ). -- 2.54.0