EX 4.54

zhaoyuhang's picture
Thu, 2008/09/11 - 14:12 — zhaoyuhang
(define (analyze-require exp)
  (let ((pproc (analyze (require-predicate exp))))
    (lambda (env succeed fail)
      (pproc env
             (lambda (pred-val fail2)
               (if (false? pred-val)
                   (fail2)
                   (succeed 'ok fail2)))
             fail))))
  • Login to post comments
  • 179 reads