Looks to me like the bug is in ev -- ev is not calling MSET to handle assignment to nonatomic left-hand side.
Tracing MSET seems to show MSET isn't called even for mapatoms, e.g. ev(f(x[1]), x[1] = 111. But it looks like fortuitously the result is correct in that case; I didn't investigate.
I'm inclined to think ev should always call MSET.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I've already closed [#4376] as not-a-bug since I posted a comment some time ago showing that that was the documented behavior of ev. I'm inclined to close this ticket as not-a-bug as well for pretty much the same reason, since makelist is directly using ev.
I'll leave this ticket open for now and close at a later date if there is no further discussion.
Looks to me like the bug is in
ev--evis not calling MSET to handle assignment to nonatomic left-hand side.Tracing MSET seems to show MSET isn't called even for mapatoms, e.g.
ev(f(x[1]), x[1] = 111. But it looks like fortuitously the result is correct in that case; I didn't investigate.I'm inclined to think
evshould always call MSET.See also the discussion in [#4376].
Related
Bugs:
#4376I've already closed [#4376] as not-a-bug since I posted a comment some time ago showing that that was the documented behavior of
ev. I'm inclined to close this ticket as not-a-bug as well for pretty much the same reason, sincemakelistis directly usingev.I'll leave this ticket open for now and close at a later date if there is no further discussion.
Related
Bugs:
#4376