From: Markus Triska <triska@metalevel.at>
Date: Mon, 8 Nov 2021 20:43:45 +0000 (+0100)
Subject: use newly available library predicate read_n_chars/3
X-Git-Tag: v0.9.0~30^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a9bfeb0e96ad664c0c6c03743394e70b07813518;p=scryer-prolog.git

use newly available library predicate read_n_chars/3
---

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)
         ).