From: Mark <markjordanthom@gmail.com>
Date: Sat, 15 Jul 2023 16:58:25 +0000 (-0600)
Subject: use double_quotes in write_error (#1886)
X-Git-Tag: v0.9.2~52
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b234ef7ea386786ec192d129053a24d128c2b176;p=scryer-prolog.git

use double_quotes in write_error (#1886)
---

diff --git a/src/loader.pl b/src/loader.pl
index f809cd1a..1eafedb0 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -24,10 +24,14 @@ write_error(Error) :-
     ;  write('   ') % if '$first_answer' isn't defined yet or true,
                     % print indentation.
     ),
+    (  current_prolog_flag(double_quotes, chars) ->
+       DQ = true
+    ;  DQ = false
+    ),
     (  nonvar(Error),
        functor(Error, error, 2) ->
-       writeq(Error)
-    ;  writeq(throw(Error))
+       write_term(Error, [ignore_ops(false), numbervars(true), quoted(true), double_quotes(DQ)])
+    ;  write_term(throw(Error), [ignore_ops(false), numbervars(true), quoted(true), double_quotes(DQ)])
     ),
     write('.').