[3.0.0] At -O2, top-level definitions not evaluated in order?

  • Open
  • quality assurance status badge
Details
One participant
  • Ludovic Courtès
Owner
unassigned
Submitted by
Ludovic Courtès
Severity
normal
Merged with
L
L
Ludovic Courtès wrote on 23 Jan 2020 10:51
(address . bug-Guix@gnu.org)
87ftg6sdpj.fsf@inria.fr
Hello!

Guile-Lib’s md5.scm does something like:

Toggle snippet (6 lines)
(define f-ash ash)

(define (ash x n)
(modulo (f-ash x n) #x100000000))

At -O0 and -O1, this has the desired effect: ‘f-ash’ is an alias for
(@ (guile) ash).

However, at -O2 and above, ‘f-ash’ is eq? to the ‘ash’ defined right
below it.

This seems to contradict R5RS (info "(r5rs) Top level definitions").

Thoughts?

Ludo’.
L
L
Ludovic Courtès wrote on 23 Jan 2020 11:05
control message for bug #39251
(address . control@debbugs.gnu.org)
87eevqsd2p.fsf@gnu.org
reassign 39251 guile
quit
L
L
Ludovic Courtès wrote on 11 Mar 2020 12:15
(address . control@debbugs.gnu.org)
87zhcnkuqh.fsf@gnu.org
merge 39251 39997
quit
L
L
Ludovic Courtès wrote on 11 Mar 2020 15:06
(address . control@debbugs.gnu.org)
871rpzj89m.fsf@gnu.org
merge 39251 39997
quit
?