From: bakaq Date: Fri, 22 Dec 2023 16:07:09 +0000 (-0300) Subject: Fix anonymous attributed variables not showing in toplevel #2241 X-Git-Tag: v0.9.4~60^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=20c6a327ea681cacd04c66c0e6b1de9169701d56;p=scryer-prolog.git Fix anonymous attributed variables not showing in toplevel #2241 --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 4e242076..997ebad9 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -314,9 +314,11 @@ write_eqs_and_read_input(B, VarList, AttrVars) :- % one layer of depth added for (=/2) functor '$term_variables_under_max_depth'(OrigVars, 22, Vars0), '$project_atts':project_attributes(Vars0, AttrVars), - % need to copy all the visible Vars here so that they appear - % properly in AttrGoals, even the non-attributed. - copy_term(Vars0, Vars0, AttrGoals), + % Need to copy all the visible Vars here so that they appear + % properly in AttrGoals, even the non-attributed. Need to also + % copy all the attributed variables here so that anonymous + % attributed variables also appear properly in AttrGoals. + copy_term([Vars0, AttrVars], [Vars0, AttrVars], AttrGoals), term_variables(AttrGoals, AttrGoalVars), append([Vars0, AttrGoalVars, AttrVars], Vars), charsio:extend_var_list(Vars, VarList, NewVarList, fabricated),