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

goal expansion for format/2 and format/3

Browse Source 
In this way, we benefit from partial evaluation of format strings.
This commit is contained in:
Markus Triska
2024-03-18 21:43:30 +01:00
parent 8af29c200d
commit 58f7c94e74
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/lib/format.pl
View File

@@ -451,9 +451,11 @@ digits(uppercase, "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ").
% advantage of this is that an ideal implementation writes the % advantage of this is that an ideal implementation writes the
% characters as they become known, without manifesting the list. % characters as they become known, without manifesting the list.
format(Fs, Args) :- format(_, _) :- not_used.
current_output(Stream),
format(Stream, Fs, Args). user:goal_expansion(format(Fs, Args),
( current_output(Stream),
format(Stream, Fs, Args))).
%% format(Stream, FormatString, Arguments) %% format(Stream, FormatString, Arguments)
% %
@@ -461,9 +463,11 @@ format(Fs, Args) :-
% binary stream, then the code of each emitted character must be in % binary stream, then the code of each emitted character must be in
% 0..255. % 0..255.
format(Stream, Fs, Args) :- format(_, _, _) :- not_used.
phrase_to_stream(format_(Fs, Args), Stream),
flush_output(Stream). user:goal_expansion(format(Stream, Fs, Args),
( pio:phrase_to_stream(format:format_(Fs, Args), Stream),
flush_output(Stream))).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
?- phrase(format:cells("hello", [], 0, [], []), Cs). ?- phrase(format:cells("hello", [], 0, [], []), Cs).