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

use newly available double_quotes/1 write option in portray_clause_//1

Browse Source
This commit is contained in:
Markus Triska
2023-08-17 23:05:21 +02:00
parent 2e811de0f5
commit 92fdc7e380
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/format.pl
View File

@@ -526,7 +526,7 @@ var_name(V, Name=V, Num0, Num) :-
Num is Num0 + 1.
literal(Lit, VNs) -->
{ write_term_to_chars(Lit, [quoted(true),variable_names(VNs)], Ls) },
{ write_term_to_chars(Lit, [quoted(true),variable_names(VNs),double_quotes(true)], Ls) },
seq(Ls).
portray_(Var, VNs) --> { var(Var) }, !, literal(Var, VNs).