all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#63588: 29.x: dotimes (possible) problem
@ 2023-05-19  8:54 balducci
  2023-05-19 15:42 ` Drew Adams
  2023-05-19 16:07 ` Eli Zaretskii
  0 siblings, 2 replies; 4+ messages in thread
From: balducci @ 2023-05-19  8:54 UTC (permalink / raw)
  To: 63588

hello

the dotimes macro behaves differently in 29.x with respect to previous
versions

Basically: changing the value of the loop variable in the body of
dotimes does not seem to have any effect, where for versions <29.x it
used to.

Here is a minimal stretch of dummy code clarifying the problem I'm
reporting.

emacs-29.0.91 (or 29.0.90)
==========================

(dotimes (ii 10)
(insert (format "%2d " ii))
(when (= ii 4)(setq ii 11))
)
==>  0  1  2  3  4  5  6  7  8  9 

emacs-28.2 (or any version <29.x)
=================================

(dotimes (ii 10)
(insert (format "%2d " ii))
(when (= ii 4)(setq ii 11))
)
==>  0  1  2  3  4 

The ability to jump out of the loop by pushing the loop variable over
the upper limit is something that I happen to use in my scripts, so
29.x breaks them somehow

Of course, there are very many other equivalent ways to
accomplish the same result, but I don't see why this one
shouldn't be supported (any longer)

Is the changed behavior intentional? Am I missing some blatant point here?

AFAICS, changing the value of the loop variable from inside the loop
body is supported by any other language which I know about

thank you very much in advance for any hint/feedback

ciao
-gabriele





^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#63588: 29.x: dotimes (possible) problem
  2023-05-19  8:54 bug#63588: 29.x: dotimes (possible) problem balducci
@ 2023-05-19 15:42 ` Drew Adams
  2023-05-19 16:07 ` Eli Zaretskii
  1 sibling, 0 replies; 4+ messages in thread
From: Drew Adams @ 2023-05-19 15:42 UTC (permalink / raw)
  To: balducci@dschgrazlin2.units.it, 63588@debbugs.gnu.org

> changing the value of the loop variable in the body of
> dotimes does not seem to have any effect, where for versions <29.x it
> used to.
...
> The ability to jump out of the loop by pushing the loop variable over
> the upper limit is something that I happen to use in my scripts, so
> 29.x breaks them somehow
> 
> Of course, there are very many other equivalent ways to
> accomplish the same result, but I don't see why this one
> shouldn't be supported (any longer)
> 
> Is the changed behavior intentional? Am I missing some blatant point here?
> 
> AFAICS, changing the value of the loop variable from inside the loop
> body is supported by any other language which I know about

No, it's not.

From CLTL2 [*]:

  "Altering the value of var in the body of the loop
   (by using setq, for example) will have unpredictable,
   possibly implementation-dependent results. A Common
   Lisp compiler may choose to issue a warning if such
   a variable appears in a setq."

That allows an implementation of CL to define some
particular behavior in this regard.  But it also says
that if it does, and if your CL code depends on that
behavior, then it won't necessarily be portable to
other CL implementations.

It's unfortunate that if this Elisp change isn't
backward compatible.  That's indeed a consideration.
But it's wise for your code not to depend on being
able to change the loop variable and get any
meaningful resulting behavior.

Both in CL and Elisp `dotimes' lets you use RETURN
to break out of the loop.  That should speak to one
of your use cases, at least.

(dotimes (ii  100  "*********")
  (when (= 4 ii) (return "4444444444")))

CLTL2 says this:

  "An explicit return statement may be used to
   terminate the loop and return a specified value."

But I don't see where this is documented for Elisp.
Maybe it is documented somewhere.  Should be.
___

[*] https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node89.html





^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#63588: 29.x: dotimes (possible) problem
  2023-05-19  8:54 bug#63588: 29.x: dotimes (possible) problem balducci
  2023-05-19 15:42 ` Drew Adams
@ 2023-05-19 16:07 ` Eli Zaretskii
  1 sibling, 0 replies; 4+ messages in thread
From: Eli Zaretskii @ 2023-05-19 16:07 UTC (permalink / raw)
  To: balducci; +Cc: 63588

merge 63588 63586
thanks

> From: balducci@dschgrazlin2.units.it
> Date: Fri, 19 May 2023 10:54:46 +0200
> 
> hello
> 
> the dotimes macro behaves differently in 29.x with respect to previous
> versions

This is an exact duplicate of bug#63586 which you submitted recently.





^ permalink raw reply	[flat|nested] 4+ messages in thread

* bug#63588: 29.x: dotimes (possible) problem
  2023-05-20  8:56       ` Mattias Engdegård
@ 2023-09-06 20:10         ` Stefan Kangas
  0 siblings, 0 replies; 4+ messages in thread
From: Stefan Kangas @ 2023-09-06 20:10 UTC (permalink / raw)
  To: Mattias Engdegård
  Cc: Eli Zaretskii, 63588-done, 63586, balducci, Stefan Monnier

Version: 29.1

Mattias Engdegård <mattiase@acm.org> writes:

> 19 maj 2023 kl. 19.47 skrev Eli Zaretskii <eliz@gnu.org>:
>
>> Feel free to suggest a NEWS entry, and thanks.
>
> There is now a NEWS entry in emacs-29. Do modify it as you like.

It seems like that was all that needed doing here, so I'm closing this.





^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2023-09-06 20:10 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-05-19  8:54 bug#63588: 29.x: dotimes (possible) problem balducci
2023-05-19 15:42 ` Drew Adams
2023-05-19 16:07 ` Eli Zaretskii
  -- strict thread matches above, loose matches on Subject: below --
2023-05-19 15:10 bug#63586: " balducci
2023-05-19 16:00 ` Eli Zaretskii
2023-05-19 17:29   ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-05-19 17:47     ` Eli Zaretskii
2023-05-20  8:56       ` Mattias Engdegård
2023-09-06 20:10         ` bug#63588: " Stefan Kangas

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.