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

Merge pull request #1147 from triska/pio_improvements

Browse Source 
ENHANCED: Use newly available fast chars test from library(error).
This commit is contained in:
Mark Thom
2021-12-13 19:04:27 -07:00
committed by GitHub
parent 2eae6b4be7 57d15936cb
commit afc18cc390
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(error)).
:- 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(charsio), [read_n_chars/3]).
@@ -87,11 +87,7 @@ reader_step(Stream, Pos, Xs0) :-
phrase_to_stream(GRBody, Stream) :-
phrase(GRBody, Cs),
( partial_string(Cs) -> % very efficiently check for a string
true % (success is the expected case here)
; must_be(list, Cs),
maplist(must_be(character), Cs)
),
must_be(chars, Cs),
( stream_property(Stream, type(binary)) ->
( '$first_non_octet'(Cs, N) ->
domain_error(byte_char, N, phrase_to_stream/2)