From 8e68626f141d3f73d7c0f8a34ab58c65c72928c5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Tue, 16 Nov 2021 23:54:04 +0100 Subject: [PATCH] Add phrase_to_file/3 (phrase_to_file with Options) --- src/lib/pio.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 18ceaab5..3b7ba4e1 100644 --- a/src/lib/pio.pl +++ b/src/lib/pio.pl @@ -109,6 +109,9 @@ phrase_to_stream(GRBody, Stream) :- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ phrase_to_file(GRBody, File) :- - setup_call_cleanup(open(File, write, Stream), + phrase_to_file(GRBody, File). + +phrase_to_file(GRBody, File, Options) :- + setup_call_cleanup(open(File, write, Stream, Options), phrase_to_stream(GRBody, Stream), close(Stream)). -- 2.54.0