Blame


1 665c255d 2023-08-04 jrmu (define (p) (p))
2 665c255d 2023-08-04 jrmu (define (text x y)
3 665c255d 2023-08-04 jrmu (if (= x 0)
4 665c255d 2023-08-04 jrmu 0
5 665c255d 2023-08-04 jrmu y))
6 665c255d 2023-08-04 jrmu (test 0 (p))
7 665c255d 2023-08-04 jrmu
8 665c255d 2023-08-04 jrmu Applicative order will go into an infinite loop when trying to evaluate the operand (p)
9 665c255d 2023-08-04 jrmu Normal-order will evaluate it as:
10 665c255d 2023-08-04 jrmu
11 665c255d 2023-08-04 jrmu (if (= 0 0)
12 665c255d 2023-08-04 jrmu 0
13 665c255d 2023-08-04 jrmu (p))
14 665c255d 2023-08-04 jrmu 0