From: Markus Triska <triska@metalevel.at>
Date: Tue, 22 Feb 2022 22:51:01 +0000 (+0100)
Subject: use newly available get_n_chars/3 from library(charsio)
X-Git-Tag: v0.9.0^2~16^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8fb673e93e59b9876ce72c61dac66766fd88ea59;p=scryer-prolog.git

use newly available get_n_chars/3 from library(charsio)
---

diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl
index 507da1c6..0289278e 100644
--- a/src/lib/sgml.pl
+++ b/src/lib/sgml.pl
@@ -58,6 +58,7 @@
 :- use_module(library(error)).
 :- use_module(library(dcgs)).
 :- use_module(library(pio)).
+:- use_module(library(charsio)).
 
 load_html(Source, Es, Options) :-
         load_structure_(Source, Es, Options, html).
@@ -75,15 +76,8 @@ load_structure_(file(Fs), [E], Options, What) :-
         load_(What, Cs, E, Options).
 load_structure_(stream(Stream), [E], Options, What) :-
         must_be(list, Options),
-        read_to_end(Stream, Cs),
+        get_n_chars(Stream, _, Cs),
         load_(What, Cs, E, Options).
 
 load_(html, Cs, E, Options) :- '$load_html'(Cs, E, Options).
 load_(xml, Cs, E, Options) :- '$load_xml'(Cs, E, Options).
-
-read_to_end(Stream, Cs) :-
-        '$get_n_chars'(Stream, 4096, Cs0),
-        (   Cs0 = [] -> Cs = []
-        ;   partial_string(Cs0, Cs, Rest),
-            read_to_end(Stream, Rest)
-        ).