Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
;; $Id: bound.tst,v 1.5 2005/02/18 15:05:34 leavens Exp leavens $
(newline)
(displayln "Test case of $Date: 2005/02/18 15:05:34 $")
(newline)
(define lexp1 '(lambda (x) (f x)))
(define lexp2 `(lambda (z) (,lexp1 (g (h y)))))
(define lexp3 `(lambda (f) ,lexp2))
(define lexp4 `(,lexp3 (car (cdr (x (y (quote z)))))))
(define lexp5 `(lambda (y) ,lexp4))
(define lexp6 `(lambda (f) ,lexp4))
(define lexp7 `(,lexp5 ,lexp2))
(run-regression-tests-equal?
`(
( (bound? 'x (parse-lambda-1-quote-exp 'x)) ==> #f )
( (bound? 'z (parse-lambda-1-quote-exp '(quote z))) ==> #f )
( (bound? 'x (parse-lambda-1-quote-exp '(x y))) ==> #f )
( (bound? 'g (parse-lambda-1-quote-exp ',lexp1)) ==> #f )
( (bound? 'f (parse-lambda-1-quote-exp ',lexp2)) ==> #f )
( (bound? 'f (parse-lambda-1-quote-exp ',lexp3)) ==> #t )
( (bound? 'x (parse-lambda-1-quote-exp ',lexp4)) ==> #t )
( (bound? 'z (parse-lambda-1-quote-exp ',lexp5)) ==> #f )
( (bound? 'y (parse-lambda-1-quote-exp ',lexp6)) ==> #f )
( (bound? 'y (parse-lambda-1-quote-exp ',lexp7)) ==> #t )
)
)