Revert "Speedup boot eval/apply."
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 23 Oct 2016 12:25:37 +0000 (14:25 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 12 Dec 2016 19:33:48 +0000 (20:33 +0100)
This reverts commit 6326b3103156fd79cd7bebbb351194626cc8a64b.

module/mes/mes-0.mes

index a72dd3d9287eb06a919e242e2faa4619c0d25598..2fda9f71c60f79a0a1f8709688ed4ebea990348e 100644 (file)
    ((not (pair? m)) (eval m a))
    (#t (cons (eval (car m) a) (evlis-env (cdr m) a)))))
 
-(define (evlis-env m a)
-  (if (null? m) '()
-      (if (not (pair? m)) (eval m a)
-          (cons (eval (car m) a) (evlis-env (cdr m) a)))))
-
 (define (apply-env fn x a) 
   (cond
    ((atom? fn)
    ;;((eq? (car fn) 'label) (apply-env (caddr fn) x (cons (cons (cadr fn) (caddr fn)) a)))
    (#t (apply-env (eval fn a) x a))))
 
-(define (apply-env fn x a) 
-  (if (atom? fn) (if (builtin? fn) (call fn x)
-                     (if (eq? fn 'call-with-values) (c:apply-env 'call-with-values x a)
-                         (if (eq? fn 'current-module) a
-                             (apply-env (eval fn a) x a))))
-      (if (eq? (car fn) 'lambda)
-          ;; (let ((p (pairlis (cadr fn) x a)))
-          ;;   (cache-invalidate-range p (cdr a))
-          ;;   (let ((r (eval-begin-env (cddr fn) (cons (cons '*closure* p) p))))
-          ;;     (cache-invalidate-range p (cdr a))
-          ;;     r))
-          ((lambda (p)
-             (cache-invalidate-range p (cdr a))
-             ((lambda (r)
-                (cache-invalidate-range p (cdr a))
-                r)
-              (eval-begin-env (cddr fn) (cons (cons '*closure* p) p))))
-           (pairlis (cadr fn) x a))
-          (if (eq? (car fn) '*closure*)
-              ;; (let ((args (caddr fn))
-              ;;       (body (cdddr fn))
-              ;;       (a (cddr (cadr fn))))
-              ;;   (let ((p (pairlis args x a)))
-              ;;     (cache-invalidate-range p (cdr a))
-              ;;     (let ((r (eval-begin-env body (cons (cons '*closure* p) p))))
-              ;;       (cache-invalidate-range p (cdr a))
-              ;;       r)))
-              ((lambda (a)
-                 ((lambda (p)
-                    (cache-invalidate-range p (cdr a))
-                    ((lambda (r)
-                       (cache-invalidate-range p (cdr a))
-                       r)
-                     (eval-begin-env (cdddr fn) (cons (cons '*closure* p) p))))
-                  (pairlis (caddr fn) x a)))
-               (cddr (cadr fn)))
-              
-              ;;((eq? (car fn) 'label) (apply-env (caddr fn) x (cons (cons (cadr fn) (caddr fn)) a)))
-              (apply-env (eval fn a) x a)))))
-
 (define (eval-expand e a)
   (cond
    ((symbol? e) (assq-ref-cache e a))
      (#t (apply-env (car e) (evlis-env (cdr e) a) a))))
    (#t (apply-env (car e) (evlis-env (cdr e) a) a))))
 
-(define (eval-expand e a)
-  (if (symbol? e) (assq-ref-cache e a)
-      (if (atom? e) e
-          (if (atom? (car e))
-              (if (eq? (car e) 'quote) (cadr e)
-                  (if (eq? (car e) 'syntax) (cadr e)
-                      (if (eq? (car e) 'begin) (eval-begin-env e a)
-                          (if (eq? (car e) 'lambda) (make-closure (cadr e) (cddr e) (assq '*closure* a))
-                              (if (eq? (car e) '*closure*) e
-                                  (if (eq? (car e) 'if) (eval-if-env (cdr e) a)
-                                      (if (eq? (car e) 'define) (env:define (cons (sexp:define e a) '()) a)
-                                          (if (eq? (car e) 'define-macro) (env:define (env:macro (sexp:define e a)) a)
-                                              (if (eq? (car e) 'set!) (set-env! (cadr e) (eval (caddr e) a) a)
-                                                  (if (eq? (car e) 'apply-env) (apply-env (eval (cadr e) a) (evlis-env (caddr e) a) a)
-                                                      (if (eq? (car e) 'unquote) (eval (cadr e) a)
-                                                          (if (eq? (car e) 'quasiquote) (eval-quasiquote (cadr e) (add-unquoters a))
-                                                              (apply-env (car e) (evlis-env (cdr e) a) a)))))))))))))
-              (apply-env (car e) (evlis-env (cdr e) a) a)))))
-
 (define (unquote x) (cons 'unquote x))
 (define (unquote-splicing x) (cons 'quasiquote x))
 
          (append2 (eval (cadar e) a) (eval-quasiquote (cdr e) a)))
         (#t (cons (eval-quasiquote (car e) a) (eval-quasiquote (cdr e) a)))))
 
-(define (eval-quasiquote e a)
-  (if (null? e) e
-      (if (atom? e) e
-          (if (eq? (car e) 'unquote) (eval (cadr e) a)
-              (if (pair? (car e)) (if (eq? (caar e) 'unquote-splicing) (append2 (eval (cadar e) a) (eval-quasiquote (cdr e) a))
-                                      
-                                      (cons (eval-quasiquote (car e) a) (eval-quasiquote (cdr e) a)))
-                  (cons (eval-quasiquote (car e) a) (eval-quasiquote (cdr e) a)))))))
-
 (define (sexp:define e a)
   (if (atom? (cadr e)) (cons (cadr e) (eval (caddr e) a))
       (cons (caadr e) (eval (cons 'lambda (cons (cdadr e) (cddr e))) a))))