use double_quotes in write_error (#1886)

diff --git a/src/loader.pl b/src/loader.pl
index f809cd1afc466011ef8309be525d0aa061566711..1eafedb0195d0c21ee28031d9c61c109d651ab32 100644 (file)
--- 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('.').