From b66824ffceca801bd3a052ad40a9eaf7facf9e34 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 23 Nov 2025 09:42:14 +0100 Subject: [PATCH] use more recently available phrase_[to|from]_file/3 in example --- src/examples/utf8.pl | 24 ++++++++---------------- 1 file changed, 8 insertions(+), 16 deletions(-) diff --git a/src/examples/utf8.pl b/src/examples/utf8.pl index bee6b2b24..d8112011c 100644 --- a/src/examples/utf8.pl +++ b/src/examples/utf8.pl @@ -1,5 +1,7 @@ :- use_module(library(charsio)). :- use_module(library(lists)). +:- use_module(library(pio)). +:- use_module(library(dcgs)). :- initialization(unit_test). @@ -10,22 +12,12 @@ Cs = "a£\x2124\". write_f :- - open('x.txt', write, Stream, [type(binary)]), - F = put_byte(Stream), chars_utf8bytes("£\x2124\\x2764\\x1F496\\n", Bs), - maplist(F, Bs), - close(Stream). - -get_bytes(Stream, Res) :- get_bytes(Stream, [], Res). -get_bytes(Stream, Acc, Res) :- - get_byte(Stream, B), - (B =:= -1 -> - reverse(Acc, Res) - ; get_bytes(Stream, [B|Acc], Res)). + maplist(char_code, Cs, Bs), + phrase_to_file(Cs, "x.txt", [type(binary)]). read_f :- - open('x.txt', read, Stream, [type(binary)]), - get_bytes(Stream, Bs), - chars_utf8bytes(Cs, Bs), - write(Cs), - close(Stream). + phrase_from_file(seq(Cs), "x.txt", [type(binary)]), + maplist(char_code, Cs, Bs), + chars_utf8bytes(Chars, Bs), + write(Chars).