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

Merge pull request #1964 from triska/master

Browse Source 
use newly available double_quotes/1 write option in portray_clause_//1
This commit is contained in:
Mark Thom
2023-08-17 15:18:25 -06:00
committed by GitHub
parent 2e811de0f5 92fdc7e380
commit 7da321ab4f
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. Num is Num0 + 1.
literal(Lit, VNs) --> 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). seq(Ls).
portray_(Var, VNs) --> { var(Var) }, !, literal(Var, VNs). portray_(Var, VNs) --> { var(Var) }, !, literal(Var, VNs).