From d72cb74ffa2e36d9660496a2c50b9371e0263025 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 17 Nov 2021 21:33:15 +0100 Subject: [PATCH] mention phrase_to_file/3 which is being prepared in #1100 --- src/lib/format.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/format.pl b/src/lib/format.pl index d5333c9e..3fd28fb6 100644 --- a/src/lib/format.pl +++ b/src/lib/format.pl @@ -57,7 +57,7 @@ If at all possible, format_//2 should be used, to stress pure parts that enable easy testing etc. If necessary, you can emit the list Ls with maplist(put_char, Ls) or, much faster, with format("~s", [Ls]). - Ideally, however, you use phrase_to_file/2 or phrase_to_stream/2 + Ideally, however, you use phrase_to_file/[2,3] or phrase_to_stream/2 from library(pio) to write the described list directly to a file or stream, respectively: phrase_to_stream(format_(..., [...]), S). The advantage of this is that an ideal implementation writes -- 2.54.0