From: Nicolas Luck <nicolas@lucksus.eu>
Date: Mon, 7 Aug 2023 16:29:05 +0000 (+0200)
Subject: Use new `double_quotes` write-option
X-Git-Tag: remove^2~39
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=579816a04fc0d06f441d731b2491de2ebaa381e1;p=scryer-prolog.git

Use new `double_quotes` write-option
---

diff --git a/src/lib_toplevel.pl b/src/lib_toplevel.pl
index eedaa828..1fb287c0 100644
--- a/src/lib_toplevel.pl
+++ b/src/lib_toplevel.pl
@@ -60,9 +60,9 @@ write_goal(G, VarList, MaxDepth) :-
        write(' = '),
        (  needs_bracketing(Value, (=)) ->
           write('('),
-          write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]),
+          write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]),
           write(')')
-       ;  write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)])
+       ;  write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)])
        )
     ;  G == [] ->
        write('true')
@@ -80,9 +80,9 @@ write_last_goal(G, VarList, MaxDepth) :-
        write(' = '),
        (  needs_bracketing(Value, (=)) ->
           write('('),
-          write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]),
+          write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]),
           write(')')
-       ;  write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth)]),
+       ;  write_term(Value, [quoted(true), variable_names(NewVarList), max_depth(MaxDepth), double_quotes(true)]),
           (  trailing_period_is_ambiguous(Value) ->
              write(' ')
           ;  true