From 20c6a327ea681cacd04c66c0e6b1de9169701d56 Mon Sep 17 00:00:00 2001 From: bakaq Date: Fri, 22 Dec 2023 13:07:09 -0300 Subject: [PATCH] Fix anonymous attributed variables not showing in toplevel #2241 --- src/toplevel.pl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index 4e2420766..997ebad9e 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -314,9 +314,11 @@ % 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),