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 ) ) )