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

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

Browse Source
This commit is contained in:
Mark Thom
2020-05-10 13:30:30 -06:00
parent 67fce58708
commit 26d483f2d7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/lib/charsio.pl
View File

@@ -134,4 +134,5 @@ write_term_to_chars(Term, Options, Chars) :-
), ),
term_variables(Term, Vars), term_variables(Term, Vars),
extend_var_list(Vars, VarNames, NewVarNames, numbervars), extend_var_list(Vars, VarNames, NewVarNames, numbervars),
!,
'$write_term_to_chars'(Chars, Term, IgnoreOps, NumberVars, Quoted, NewVarNames, MaxDepth). '$write_term_to_chars'(Chars, Term, IgnoreOps, NumberVars, Quoted, NewVarNames, MaxDepth).