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

ENHANCED: Use newly available fast chars test from library(error).

Browse Source
This commit is contained in:
Markus Triska
2021-12-12 17:37:59 +01:00
parent 2eae6b4be7
commit 57d15936cb
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/pio.pl
View File

@@ -19,7 +19,7 @@
:- use_module(library(dcgs)). :- use_module(library(dcgs)).
:- use_module(library(error)). :- use_module(library(error)).
:- use_module(library(freeze)). :- use_module(library(freeze)).
:- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/1, partial_string/3]). :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]).
:- use_module(library(lists), [member/2, maplist/2]). :- use_module(library(lists), [member/2, maplist/2]).
:- use_module(library(charsio), [read_n_chars/3]). :- use_module(library(charsio), [read_n_chars/3]).
@@ -87,11 +87,7 @@ reader_step(Stream, Pos, Xs0) :-
phrase_to_stream(GRBody, Stream) :- phrase_to_stream(GRBody, Stream) :-
phrase(GRBody, Cs), phrase(GRBody, Cs),
( partial_string(Cs) -> % very efficiently check for a string must_be(chars, Cs),
true % (success is the expected case here)
; must_be(list, Cs),
maplist(must_be(character), Cs)
),
( stream_property(Stream, type(binary)) -> ( stream_property(Stream, type(binary)) ->
( '$first_non_octet'(Cs, N) -> ( '$first_non_octet'(Cs, N) ->
domain_error(byte_char, N, phrase_to_stream/2) domain_error(byte_char, N, phrase_to_stream/2)