-(let ((pragma
- ; An ordered pair whose first component is the assertion
- ; operator, a unary function, and whose second component
- ; is the meaning of "damn", a thunk.
- (call-with-current-continuation
- (lambda (k)
- (cons (lambda (prop) prop)
- (lambda () (k (cons (lambda (prop) (list 'bad prop))
- (lambda () 'id)))))))))
- (let ((assert (car pragma))
- (damn (cdr pragma)))
- (assert (list 'the 'student 'read 'the (damn) 'book))))
+ (let ((pragma
+ ; An ordered pair whose first component is the assertion
+ ; operator, a unary function, and whose second component
+ ; is the meaning of "damn", a thunk.
+ (call/cc (lambda (k)
+ (cons (lambda (p) p)
+ (lambda () (k (cons (lambda (p) (cons (cons 'side-effect 'bad) p))
+ (lambda () 'id)))))))))
+ (let ((assert (car pragma)) ; this binds assert to the first element of the pair pragma
+ (damn (cdr pragma))) ; this binds damn to the second element of the pair pragma
+ (assert (cons (cons 'the 'man) (cons 'read (cons 'the (cons (damn) 'book)))))))