From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 19:30:30 +0000 (-0600)
Subject: place cut after infinitely expanding VarList in write_term_to_chars/3 (#476)
X-Git-Tag: v0.8.123~50
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=26d483f2d7a3d1606c8c03b1bd1d88c55039a484;p=scryer-prolog.git

place cut after infinitely expanding VarList in write_term_to_chars/3 (#476)
---

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index e929dc81..63c2395b 100644
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -134,4 +134,5 @@ write_term_to_chars(Term, Options, Chars) :-
     ),
     term_variables(Term, Vars),
     extend_var_list(Vars, VarNames, NewVarNames, numbervars),
+    !,
     '$write_term_to_chars'(Chars, Term, IgnoreOps, NumberVars, Quoted, NewVarNames, MaxDepth).