0. #lang racket
1.  
2. ;We compare two macros that act almost like ormap.
3. ;The difference is that thefirst has an intermediate variable,
4. ;so the proc definition is run only once.
5. ;Anyway, both macros have an incorrect behavior
6. ;when the items in the list have side effects.
7.  
8.  
9.  
10. (define-syntax m:ormap
11.   (syntax-rules (list)
12.     [(m:ormap proc (list n ...)) (let ([proc-val proc])
13.                                    (or (proc-val n) ...))]))
14. (define-syntax m:ormap/bad
15.   (syntax-rules (list)
16.     [(m:ormap proc (list n ...)) (or (proc n) ...)]))
17.  
18. ;Side effect in the procedure definition
19. (ormap (begin (display "*") {lambda (x) (display x) #f}) (list 1 2 3))
20. (m:ormap (begin (display "*") {lambda (x) (display x) #f}) (list 1 2 3))
21. (m:ormap/bad (begin (display "*") {lambda (x) (display x) #f}) (list 1 2 3))
22. (newline)
23.  
24. ;A different closure in each iteration
25. (ormap (let ([r (random 6)]) {lambda (x) (display r) #f}) (list 1 2 3))
26. (m:ormap (let ([r (random 6)]) {lambda (x) (display r) #f}) (list 1 2 3))
27. (m:ormap/bad (let ([r (random 6)]) {lambda (x) (display r) #f}) (list 1 2 3))
28. (newline)
29.  
30. ;Side effect in the list items
31. (ormap {lambda (x) (display x) #f} (list 1 (begin (display "*") 2) 3))
32. (m:ormap {lambda (x) (display x) #f} (list 1 (begin (display "*") 2) 3))
33. (m:ormap/bad {lambda (x) (display x) #f} (list 1 (begin (display "*") 2) 3))
34. (newline)

=>

*123

#f

*123

#f

*1*2*3

#f

555

#f

444

#f

155

#f

*123

#f

1*23

#f

1*23

#f